Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,582 workflow runs
4,582 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleaning up for homotopy groups agda-unimath CI #8988: Pull request #836 ready_for_review by fredrik-bakke
February 11, 2025 23:32 5m 24s EgbertRijke:homotopy-groups
EgbertRijke:homotopy-groups
February 11, 2025 23:32 5m 24s
Cleaning up for homotopy groups agda-unimath CI #8987: Pull request #836 synchronize by fredrik-bakke
February 11, 2025 23:32 17s EgbertRijke:homotopy-groups
EgbertRijke:homotopy-groups
February 11, 2025 23:32 17s
Cleaning up for homotopy groups agda-unimath CI #8986: Pull request #836 synchronize by fredrik-bakke
February 11, 2025 23:07 8m 45s EgbertRijke:homotopy-groups
EgbertRijke:homotopy-groups
February 11, 2025 23:07 8m 45s
Apartness for real numbers agda-unimath CI #8985: Pull request #1296 ready_for_review by lowasser
February 11, 2025 22:37 5m 41s lowasser:apartness-real
lowasser:apartness-real
February 11, 2025 22:37 5m 41s
Apartness for real numbers agda-unimath CI #8984: Pull request #1296 synchronize by lowasser
February 11, 2025 22:35 1m 48s lowasser:apartness-real
lowasser:apartness-real
February 11, 2025 22:35 1m 48s
Cleaning up for homotopy groups agda-unimath CI #8983: Pull request #836 synchronize by fredrik-bakke
February 11, 2025 22:22 3m 19s EgbertRijke:homotopy-groups
EgbertRijke:homotopy-groups
February 11, 2025 22:22 3m 19s
Ideals of semirings agda-unimath CI #8982: Pull request #1310 synchronize by EgbertRijke
February 11, 2025 21:38 2m 45s EgbertRijke:ideals-semirings
EgbertRijke:ideals-semirings
February 11, 2025 21:38 2m 45s
Refactor elementary number theory agda-unimath CI #8981: Pull request #1211 synchronize by EgbertRijke
February 11, 2025 20:27 6m 7s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
February 11, 2025 20:27 6m 7s
The Bell numbers (#1315) Build and deploy library website #671: Commit 66eebb8 pushed by fredrik-bakke
February 11, 2025 20:10 6m 24s master
master
February 11, 2025 20:10 6m 24s
The Bell numbers (#1315) Profile Library Typechecking #213: Commit 66eebb8 pushed by fredrik-bakke
February 11, 2025 20:10 12m 18s master
master
February 11, 2025 20:10 12m 18s
The Bell numbers (#1315) agda-unimath CI #8980: Commit 66eebb8 pushed by fredrik-bakke
February 11, 2025 20:10 3m 21s master
master
February 11, 2025 20:10 3m 21s
The Bell numbers Clean up caches generated by pull requests #602: Pull request #1315 closed by fredrik-bakke
February 11, 2025 20:10 18s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 20:10 18s
The Bell numbers agda-unimath CI #8979: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 20:06 3m 10s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 20:06 3m 10s
Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8978: Pull request #1314 synchronize by lowasser
February 11, 2025 18:54 1m 22s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 11, 2025 18:54 1m 22s
The Bell numbers agda-unimath CI #8977: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 17:56 14m 21s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 17:56 14m 21s
Refactor elementary number theory agda-unimath CI #8976: Pull request #1211 synchronize by EgbertRijke
February 11, 2025 17:54 6m 21s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
February 11, 2025 17:54 6m 21s
Refactor elementary number theory agda-unimath CI #8975: Pull request #1211 synchronize by EgbertRijke
February 11, 2025 17:14 6m 33s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
February 11, 2025 17:14 6m 33s
Refactor elementary number theory agda-unimath CI #8974: Pull request #1211 synchronize by EgbertRijke
February 11, 2025 16:42 5m 42s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
February 11, 2025 16:42 5m 42s
Refactor elementary number theory agda-unimath CI #8973: Pull request #1211 synchronize by EgbertRijke
February 11, 2025 16:23 5m 22s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
February 11, 2025 16:23 5m 22s
Rename UU-Fin to Type-With-Cardinality-ℕ agda-unimath CI #8972: Pull request #1316 ready_for_review by fredrik-bakke
February 11, 2025 15:54 14m 8s fredrik-bakke:Type-With-Finite-Cardinality
fredrik-bakke:Type-With-Finite-Cardinality
February 11, 2025 15:54 14m 8s
Rename UU-Fin to Type-With-Cardinality-ℕ agda-unimath CI #8971: Pull request #1316 synchronize by fredrik-bakke
February 11, 2025 15:53 6s fredrik-bakke:Type-With-Finite-Cardinality
fredrik-bakke:Type-With-Finite-Cardinality
February 11, 2025 15:53 6s
Rename UU-Fin to Type-With-Cardinality-ℕ agda-unimath CI #8970: Pull request #1316 synchronize by fredrik-bakke
February 11, 2025 15:35 14m 11s fredrik-bakke:Type-With-Finite-Cardinality
fredrik-bakke:Type-With-Finite-Cardinality
February 11, 2025 15:35 14m 11s
Rename UU-Fin to Type-With-Cardinality-ℕ agda-unimath CI #8969: Pull request #1316 opened by fredrik-bakke
February 11, 2025 15:34 1m 45s fredrik-bakke:Type-With-Finite-Cardinality
fredrik-bakke:Type-With-Finite-Cardinality
February 11, 2025 15:34 1m 45s
Refactor coproduct equivalences Clean up caches generated by pull requests #601: Pull request #1137 closed by fredrik-bakke
February 11, 2025 14:22 13s morphismz:coproduct-equivs
morphismz:coproduct-equivs
February 11, 2025 14:22 13s
Refactor coproduct equivalences (#1137) Build and deploy library website #670: Commit 8855b0b pushed by fredrik-bakke
February 11, 2025 14:22 14m 37s master
master
February 11, 2025 14:22 14m 37s