Skip to content

Actions: UniMath/agda-unimath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,194 workflow runs
6,194 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bezout's lemma – 100 theorems agda-unimath CI #8104: Pull request #1202 synchronize by fredrik-bakke
October 17, 2024 16:53 1m 9s fredrik-bakke:100-theorems'
fredrik-bakke:100-theorems'
October 17, 2024 16:53 1m 9s
Bezout's lemma – 100 theorems agda-unimath CI #8103: Pull request #1202 opened by fredrik-bakke
October 17, 2024 16:25 7m 40s fredrik-bakke:100-theorems'
fredrik-bakke:100-theorems'
October 17, 2024 16:25 7m 40s
100 Theorems (#1201) agda-unimath CI #8102: Commit 346e0c1 pushed by EgbertRijke
October 17, 2024 16:05 19m 5s master
master
October 17, 2024 16:05 19m 5s
100 Theorems (#1201) Profile Library Typechecking #118: Commit 346e0c1 pushed by EgbertRijke
October 17, 2024 16:05 11m 28s master
master
October 17, 2024 16:05 11m 28s
100 Theorems Clean up caches generated by pull requests #494: Pull request #1201 closed by EgbertRijke
October 17, 2024 16:05 16s fredrik-bakke:100-theorems
fredrik-bakke:100-theorems
October 17, 2024 16:05 16s
100 Theorems (#1201) Build and deploy library website #577: Commit 346e0c1 pushed by EgbertRijke
October 17, 2024 16:05 14m 38s master
master
October 17, 2024 16:05 14m 38s
100 Theorems agda-unimath CI #8101: Pull request #1201 synchronize by fredrik-bakke
October 17, 2024 15:46 19m 48s fredrik-bakke:100-theorems
fredrik-bakke:100-theorems
October 17, 2024 15:46 19m 48s
100 Theorems agda-unimath CI #8100: Pull request #1201 opened by fredrik-bakke
October 17, 2024 15:35 11m 23s fredrik-bakke:100-theorems
fredrik-bakke:100-theorems
October 17, 2024 15:35 11m 23s
Abelian ∞-groups agda-unimath CI #8099: Pull request #1178 synchronize by fredrik-bakke
October 17, 2024 11:43 7m 33s fredrik-bakke:infinitely-deloopable-types
fredrik-bakke:infinitely-deloopable-types
October 17, 2024 11:43 7m 33s
Functoriality of morphisms of arrows agda-unimath CI #8098: Pull request #1130 synchronize by fredrik-bakke
October 17, 2024 11:42 24m 55s fredrik-bakke:functoriality-pullback-hom
fredrik-bakke:functoriality-pullback-hom
October 17, 2024 11:42 24m 55s
Functoriality of morphisms of arrows agda-unimath CI #8097: Pull request #1130 ready_for_review by fredrik-bakke
October 17, 2024 11:24 18m 43s fredrik-bakke:functoriality-pullback-hom
fredrik-bakke:functoriality-pullback-hom
October 17, 2024 11:24 18m 43s
Functoriality of morphisms of arrows agda-unimath CI #8096: Pull request #1130 synchronize by fredrik-bakke
October 17, 2024 11:23 51s fredrik-bakke:functoriality-pullback-hom
fredrik-bakke:functoriality-pullback-hom
October 17, 2024 11:23 51s
Functoriality of morphisms of arrows agda-unimath CI #8095: Pull request #1130 synchronize by fredrik-bakke
October 17, 2024 11:04 9m 39s fredrik-bakke:functoriality-pullback-hom
fredrik-bakke:functoriality-pullback-hom
October 17, 2024 11:04 9m 39s
Functoriality of morphisms of arrows agda-unimath CI #8094: Pull request #1130 synchronize by fredrik-bakke
October 17, 2024 10:53 10m 1s fredrik-bakke:functoriality-pullback-hom
fredrik-bakke:functoriality-pullback-hom
October 17, 2024 10:53 10m 1s
Functoriality of morphisms of arrows agda-unimath CI #8093: Pull request #1130 synchronize by fredrik-bakke
October 17, 2024 10:50 3m 12s fredrik-bakke:functoriality-pullback-hom
fredrik-bakke:functoriality-pullback-hom
October 17, 2024 10:50 3m 12s
Functoriality of morphisms of arrows agda-unimath CI #8092: Pull request #1130 synchronize by fredrik-bakke
October 17, 2024 10:36 10m 16s fredrik-bakke:functoriality-pullback-hom
fredrik-bakke:functoriality-pullback-hom
October 17, 2024 10:36 10m 16s
Abelian ∞-groups agda-unimath CI #8091: Pull request #1178 ready_for_review by fredrik-bakke
October 17, 2024 10:31 20m 51s fredrik-bakke:infinitely-deloopable-types
fredrik-bakke:infinitely-deloopable-types
October 17, 2024 10:31 20m 51s
Abelian ∞-groups agda-unimath CI #8090: Pull request #1178 synchronize by fredrik-bakke
October 17, 2024 10:30 1m 22s fredrik-bakke:infinitely-deloopable-types
fredrik-bakke:infinitely-deloopable-types
October 17, 2024 10:30 1m 22s
Abelian ∞-groups agda-unimath CI #8089: Pull request #1178 synchronize by fredrik-bakke
October 17, 2024 10:18 11m 45s fredrik-bakke:infinitely-deloopable-types
fredrik-bakke:infinitely-deloopable-types
October 17, 2024 10:18 11m 45s
Some links in elementary number theory Clean up caches generated by pull requests #493: Pull request #1199 closed by EgbertRijke
October 16, 2024 15:36 13s fredrik-bakke:catalan-numbers
fredrik-bakke:catalan-numbers
October 16, 2024 15:36 13s
Some links in elementary number theory (#1199) agda-unimath CI #8088: Commit c1a469f pushed by EgbertRijke
October 16, 2024 15:36 18m 39s master
master
October 16, 2024 15:36 18m 39s
Some links in elementary number theory (#1199) Profile Library Typechecking #117: Commit c1a469f pushed by EgbertRijke
October 16, 2024 15:36 11m 48s master
master
October 16, 2024 15:36 11m 48s
Some links in elementary number theory (#1199) Build and deploy library website #576: Commit c1a469f pushed by EgbertRijke
October 16, 2024 15:36 16m 43s master
master
October 16, 2024 15:36 16m 43s
Some links in elementary number theory agda-unimath CI #8087: Pull request #1199 synchronize by fredrik-bakke
October 16, 2024 15:14 21m 33s fredrik-bakke:catalan-numbers
fredrik-bakke:catalan-numbers
October 16, 2024 15:14 21m 33s
Some links in elementary number theory agda-unimath CI #8086: Pull request #1199 synchronize by fredrik-bakke
October 16, 2024 15:05 9m 26s fredrik-bakke:catalan-numbers
fredrik-bakke:catalan-numbers
October 16, 2024 15:05 9m 26s