Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,942 workflow runs
1,942 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wildcat rewriting tweaks CI #3332: Pull request #2208 synchronize by patrick-nicodemus
January 27, 2025 02:44 19m 23s patrick-nicodemus:wildcat-rewriting-tweaks
patrick-nicodemus:wildcat-rewriting-tweaks
January 27, 2025 02:44 19m 23s
Wildcat rewriting tweaks CI #3331: Pull request #2208 synchronize by patrick-nicodemus
January 26, 2025 20:58 19m 4s patrick-nicodemus:wildcat-rewriting-tweaks
patrick-nicodemus:wildcat-rewriting-tweaks
January 26, 2025 20:58 19m 4s
Wildcat rewriting tweaks CI #3330: Pull request #2208 synchronize by patrick-nicodemus
January 24, 2025 20:05 19m 25s patrick-nicodemus:wildcat-rewriting-tweaks
patrick-nicodemus:wildcat-rewriting-tweaks
January 24, 2025 20:05 19m 25s
Wildcat rewriting tweaks CI #3329: Pull request #2208 synchronize by patrick-nicodemus
January 24, 2025 16:25 7m 11s patrick-nicodemus:wildcat-rewriting-tweaks
patrick-nicodemus:wildcat-rewriting-tweaks
January 24, 2025 16:25 7m 11s
Wildcat rewriting tweaks CI #3328: Pull request #2208 opened by patrick-nicodemus
January 24, 2025 16:23 2m 16s patrick-nicodemus:wildcat-rewriting-tweaks
patrick-nicodemus:wildcat-rewriting-tweaks
January 24, 2025 16:23 2m 16s
basics on homotopy cofibers CI #3327: Pull request #2171 synchronize by jdchristensen
January 24, 2025 15:04 20m 1s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 24, 2025 15:04 20m 1s
basics on homotopy cofibers CI #3326: Pull request #2171 synchronize by jdchristensen
January 24, 2025 14:50 14m 11s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 24, 2025 14:50 14m 11s
basics on homotopy cofibers CI #3325: Pull request #2171 synchronize by jdchristensen
January 24, 2025 14:47 3m 22s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 24, 2025 14:47 3m 22s
basics on homotopy cofibers CI #3324: Pull request #2171 synchronize by jdchristensen
January 24, 2025 14:46 1m 41s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 24, 2025 14:46 1m 41s
basics on homotopy cofibers CI #3323: Pull request #2171 synchronize by jdchristensen
January 24, 2025 14:43 4m 0s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 24, 2025 14:43 4m 0s
basics on homotopy cofibers CI #3322: Pull request #2171 synchronize by Alizter
January 24, 2025 07:39 19m 27s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 24, 2025 07:39 19m 27s
nat: least common multiple CI #3321: Pull request #2207 opened by Alizter
January 23, 2025 16:51 19m 35s Alizter:ps/rr/nat__least_common_multiple
Alizter:ps/rr/nat__least_common_multiple
January 23, 2025 16:51 19m 35s
basics on homotopy cofibers CI #3320: Pull request #2171 synchronize by Alizter
January 23, 2025 16:28 19m 39s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 23, 2025 16:28 19m 39s
basics on homotopy cofibers CI #3319: Pull request #2171 synchronize by Alizter
January 23, 2025 16:15 14m 12s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 23, 2025 16:15 14m 12s
basics on homotopy cofibers CI #3318: Pull request #2171 synchronize by Alizter
January 23, 2025 16:01 13m 42s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 23, 2025 16:01 13m 42s
basics on homotopy cofibers CI #3317: Pull request #2171 synchronize by Alizter
January 23, 2025 13:27 19m 40s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 23, 2025 13:27 19m 40s
pages build and deployment pages-build-deployment #358: by github-pages bot
January 22, 2025 00:29 50s gh-pages
gh-pages
January 22, 2025 00:29 50s
being trivial is invariant under iso CI #3316: Pull request #2206 opened by Alizter
January 22, 2025 00:24 19m 25s Alizter:ps/rr/being_trivial_is_invariant_under_iso
Alizter:ps/rr/being_trivial_is_invariant_under_iso
January 22, 2025 00:24 19m 25s
more on commutator subgroups CI #3315: Pull request #2205 opened by Alizter
January 22, 2025 00:22 19m 29s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
January 22, 2025 00:22 19m 29s
Merge pull request #2201 from Alizter/ps/rr/image_of_a_subgroup CI #3314: Commit 03ff069 pushed by Alizter
January 22, 2025 00:09 19m 57s master
master
January 22, 2025 00:09 19m 57s
image of a subgroup CI #3313: Pull request #2201 synchronize by Alizter
January 22, 2025 00:06 19m 8s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 22, 2025 00:06 19m 8s
Merge pull request #2203 from Alizter/ps/rr/cleanups_and_improvements… CI #3312: Commit 8340a1f pushed by Alizter
January 22, 2025 00:00 9m 58s master
master
January 22, 2025 00:00 9m 58s
cleanups and improvements to lagrange CI #3311: Pull request #2203 synchronize by jdchristensen
January 21, 2025 23:47 19m 11s Alizter:ps/rr/cleanups_and_improvements_to_lagrange
Alizter:ps/rr/cleanups_and_improvements_to_lagrange
January 21, 2025 23:47 19m 11s
image of a subgroup CI #3310: Pull request #2201 synchronize by Alizter
January 21, 2025 22:15 19m 2s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 22:15 19m 2s
cleanups and improvements to lagrange CI #3309: Pull request #2203 synchronize by Alizter
January 21, 2025 21:35 19m 41s Alizter:ps/rr/cleanups_and_improvements_to_lagrange
Alizter:ps/rr/cleanups_and_improvements_to_lagrange
January 21, 2025 21:35 19m 41s