Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8961: Pull request #1314 synchronize by lowasser
February 11, 2025 03:46 1m 25s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 11, 2025 03:46 1m 25s
Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8960: Pull request #1314 synchronize by lowasser
February 11, 2025 03:30 1m 43s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 11, 2025 03:30 1m 43s
Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8959: Pull request #1314 synchronize by lowasser
February 11, 2025 03:29 1m 10s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 11, 2025 03:29 1m 10s
Do syntax for elim-exists chains, including application to strict real inequality agda-unimath CI #8958: Pull request #1306 synchronize by lowasser
February 11, 2025 03:17 12m 7s lowasser:monad-existence
lowasser:monad-existence
February 11, 2025 03:17 12m 7s
The Bell numbers agda-unimath CI #8957: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 02:25 3m 52s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 02:25 3m 52s
The Bell numbers agda-unimath CI #8956: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 02:24 1m 27s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 02:24 1m 27s
Make naturals, integers, integer fractions, and rationals consistent about some inequality theorems Clean up caches generated by pull requests #600: Pull request #1280 closed by EgbertRijke
February 11, 2025 02:07 12s lowasser:consistent-naming-not-leq-le-nat
lowasser:consistent-naming-not-leq-le-nat
February 11, 2025 02:07 12s
The Bell numbers agda-unimath CI #8955: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 02:03 12m 30s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 02:03 12m 30s
Refactor elementary number theory agda-unimath CI #8954: Pull request #1211 synchronize by EgbertRijke
February 11, 2025 02:02 3m 43s EgbertRijke:irrationality-sqrt-2
EgbertRijke:irrationality-sqrt-2
February 11, 2025 02:02 3m 43s
Switch from 𝔽 to Finite-* (#1312) agda-unimath CI #8953: Commit c0cfd7f pushed by EgbertRijke
February 11, 2025 02:02 12m 39s master
master
February 11, 2025 02:02 12m 39s
Switch from 𝔽 to Finite-* (#1312) Profile Library Typechecking #211: Commit c0cfd7f pushed by EgbertRijke
February 11, 2025 02:02 12m 4s master
master
February 11, 2025 02:02 12m 4s
Switch from 𝔽 to Finite-* Clean up caches generated by pull requests #599: Pull request #1312 closed by EgbertRijke
February 11, 2025 02:02 20s fredrik-bakke:FF
fredrik-bakke:FF
February 11, 2025 02:02 20s
Switch from 𝔽 to Finite-* (#1312) Build and deploy library website #669: Commit c0cfd7f pushed by EgbertRijke
February 11, 2025 02:02 12m 59s master
master
February 11, 2025 02:02 12m 59s
The Bell numbers agda-unimath CI #8952: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 01:51 3m 23s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 01:51 3m 23s
The Bell numbers agda-unimath CI #8951: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 01:44 3m 32s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 01:44 3m 32s
The Bell numbers agda-unimath CI #8950: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 01:44 1m 9s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 01:44 1m 9s
The Bell numbers agda-unimath CI #8949: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 01:42 48s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 01:42 48s
The Bell numbers agda-unimath CI #8948: Pull request #1315 synchronize by EgbertRijke
February 11, 2025 01:40 1m 1s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 01:40 1m 1s
The Bell numbers agda-unimath CI #8947: Pull request #1315 opened by EgbertRijke
February 11, 2025 01:39 59s EgbertRijke:jhu-seminar
EgbertRijke:jhu-seminar
February 11, 2025 01:39 59s
Switch from 𝔽 to Finite-* agda-unimath CI #8946: Pull request #1312 synchronize by fredrik-bakke
February 10, 2025 22:14 14m 1s fredrik-bakke:FF
fredrik-bakke:FF
February 10, 2025 22:14 14m 1s
Switch from 𝔽 to Finite-* agda-unimath CI #8945: Pull request #1312 synchronize by fredrik-bakke
February 10, 2025 22:12 2m 1s fredrik-bakke:FF
fredrik-bakke:FF
February 10, 2025 22:12 2m 1s
Minkowski multiplication for semigroups, monoids, and commutative monoids Clean up caches generated by pull requests #598: Pull request #1309 closed by fredrik-bakke
February 10, 2025 19:57 16s lowasser:minkowski-sum-semigroup
lowasser:minkowski-sum-semigroup
February 10, 2025 19:57 16s
Minkowski multiplication for semigroups, monoids, and commutative mon… agda-unimath CI #8944: Commit 095a6f6 pushed by fredrik-bakke
February 10, 2025 19:57 12m 19s master
master
February 10, 2025 19:57 12m 19s
Minkowski multiplication for semigroups, monoids, and commutative mon… Build and deploy library website #668: Commit 095a6f6 pushed by fredrik-bakke
February 10, 2025 19:57 13m 8s master
master
February 10, 2025 19:57 13m 8s
Minkowski multiplication for semigroups, monoids, and commutative mon… Profile Library Typechecking #210: Commit 095a6f6 pushed by fredrik-bakke
February 10, 2025 19:57 12m 32s master
master
February 10, 2025 19:57 12m 32s