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

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
Minkowski multiplication for semigroups, monoids, and commutative monoids agda-unimath CI #8943: Pull request #1309 synchronize by lowasser
February 10, 2025 19:22 3m 19s lowasser:minkowski-sum-semigroup
lowasser:minkowski-sum-semigroup
February 10, 2025 19:22 3m 19s
Minkowski multiplication for semigroups, monoids, and commutative monoids agda-unimath CI #8942: Pull request #1309 synchronize by lowasser
February 10, 2025 18:57 4m 2s lowasser:minkowski-sum-semigroup
lowasser:minkowski-sum-semigroup
February 10, 2025 18:57 4m 2s
Minkowski multiplication for semigroups, monoids, and commutative monoids agda-unimath CI #8941: Pull request #1309 synchronize by lowasser
February 10, 2025 18:57 38s lowasser:minkowski-sum-semigroup
lowasser:minkowski-sum-semigroup
February 10, 2025 18:57 38s
Minkowski multiplication for semigroups, monoids, and commutative monoids agda-unimath CI #8940: Pull request #1309 synchronize by lowasser
February 10, 2025 18:52 3m 38s lowasser:minkowski-sum-semigroup
lowasser:minkowski-sum-semigroup
February 10, 2025 18:52 3m 38s
Minkowski multiplication for semigroups, monoids, and commutative monoids agda-unimath CI #8939: Pull request #1309 synchronize by lowasser
February 10, 2025 18:50 2m 6s lowasser:minkowski-sum-semigroup
lowasser:minkowski-sum-semigroup
February 10, 2025 18:50 2m 6s
Minkowski multiplication for semigroups, monoids, and commutative monoids agda-unimath CI #8938: Pull request #1309 synchronize by lowasser
February 10, 2025 18:50 39s lowasser:minkowski-sum-semigroup
lowasser:minkowski-sum-semigroup
February 10, 2025 18:50 39s
Minkowski multiplication for semigroups, monoids, and commutative monoids agda-unimath CI #8937: Pull request #1309 synchronize by lowasser
February 10, 2025 18:48 2m 13s lowasser:minkowski-sum-semigroup
lowasser:minkowski-sum-semigroup
February 10, 2025 18:48 2m 13s
Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8936: Pull request #1314 synchronize by lowasser
February 10, 2025 18:34 1m 17s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 10, 2025 18:34 1m 17s
Do syntax for elim-exists chains, including application to strict real inequality agda-unimath CI #8935: Pull request #1306 synchronize by lowasser
February 10, 2025 18:33 3m 32s lowasser:monad-existence
lowasser:monad-existence
February 10, 2025 18:33 3m 32s
A historical note on the extended fundamental theorem of identity types Clean up caches generated by pull requests #597: Pull request #1313 closed by EgbertRijke
February 10, 2025 17:31 12s fredrik-bakke:hostorical-note-extended-fundamental-theorem-id
fredrik-bakke:hostorical-note-extended-fundamental-theorem-id
February 10, 2025 17:31 12s
A historical note on the extended fundamental theorem of identity typ… agda-unimath CI #8934: Commit b4cc266 pushed by EgbertRijke
February 10, 2025 17:31 3m 28s master
master
February 10, 2025 17:31 3m 28s
A historical note on the extended fundamental theorem of identity typ… Build and deploy library website #667: Commit b4cc266 pushed by EgbertRijke
February 10, 2025 17:31 6m 29s master
master
February 10, 2025 17:31 6m 29s
A historical note on the extended fundamental theorem of identity typ… Profile Library Typechecking #209: Commit b4cc266 pushed by EgbertRijke
February 10, 2025 17:31 12m 19s master
master
February 10, 2025 17:31 12m 19s
Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8933: Pull request #1314 synchronize by lowasser
February 10, 2025 17:11 1m 7s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 10, 2025 17:11 1m 7s
Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8932: Pull request #1314 synchronize by lowasser
February 10, 2025 17:09 1m 28s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 10, 2025 17:09 1m 28s
Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8931: Pull request #1314 synchronize by lowasser
February 10, 2025 17:08 59s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 10, 2025 17:08 59s
Break the Dedekind reals into lower and upper Dedekind reals agda-unimath CI #8930: Pull request #1314 opened by lowasser
February 10, 2025 17:07 1m 7s lowasser:lower-upper-neg
lowasser:lower-upper-neg
February 10, 2025 17:07 1m 7s