Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
cleanups and improvements to lagrange CI #3308: Pull request #2203 synchronize by Alizter
January 21, 2025 21:30 5m 47s Alizter:ps/rr/cleanups_and_improvements_to_lagrange
Alizter:ps/rr/cleanups_and_improvements_to_lagrange
January 21, 2025 21:30 5m 47s
cleanups and improvements to lagrange CI #3307: Pull request #2203 synchronize by Alizter
January 21, 2025 19:05 4m 47s Alizter:ps/rr/cleanups_and_improvements_to_lagrange
Alizter:ps/rr/cleanups_and_improvements_to_lagrange
January 21, 2025 19:05 4m 47s
cleanups and improvements to lagrange CI #3306: Pull request #2203 synchronize by Alizter
January 21, 2025 18:56 4m 38s Alizter:ps/rr/cleanups_and_improvements_to_lagrange
Alizter:ps/rr/cleanups_and_improvements_to_lagrange
January 21, 2025 18:56 4m 38s
Hint mode CI #3305: Pull request #2204 opened by patrick-nicodemus
January 21, 2025 14:55 20m 38s patrick-nicodemus:wildcat-rewriting-tweaks
patrick-nicodemus:wildcat-rewriting-tweaks
January 21, 2025 14:55 20m 38s
image of a subgroup CI #3304: Pull request #2201 synchronize by jdchristensen
January 21, 2025 14:43 19m 39s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 14:43 19m 39s
image of a subgroup CI #3303: Pull request #2201 synchronize by jdchristensen
January 21, 2025 14:36 7m 17s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 14:36 7m 17s
image of a subgroup CI #3302: Pull request #2201 synchronize by jdchristensen
January 21, 2025 14:30 7m 1s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 14:30 7m 1s
cleanups and improvements to lagrange CI #3301: Pull request #2203 opened by Alizter
January 21, 2025 11:52 19m 31s Alizter:ps/rr/cleanups_and_improvements_to_lagrange
Alizter:ps/rr/cleanups_and_improvements_to_lagrange
January 21, 2025 11:52 19m 31s
image of a subgroup CI #3300: Pull request #2201 synchronize by Alizter
January 21, 2025 11:03 19m 50s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 11:03 19m 50s
image of a subgroup CI #3299: Pull request #2201 synchronize by Alizter
January 21, 2025 10:56 7m 31s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 10:56 7m 31s
image of a subgroup CI #3298: Pull request #2201 synchronize by Alizter
January 21, 2025 10:35 19m 28s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 10:35 19m 28s
image of a subgroup CI #3297: Pull request #2201 synchronize by Alizter
January 21, 2025 08:50 19m 49s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 08:50 19m 49s
image of a subgroup CI #3296: Pull request #2201 synchronize by Alizter
January 21, 2025 08:49 2m 15s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 08:49 2m 15s
image of a subgroup CI #3295: Pull request #2201 synchronize by Alizter
January 21, 2025 08:35 14m 25s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 21, 2025 08:35 14m 25s
image of a subgroup CI #3294: Pull request #2201 synchronize by jdchristensen
January 20, 2025 16:24 19m 4s Alizter:ps/rr/image_of_a_subgroup
Alizter:ps/rr/image_of_a_subgroup
January 20, 2025 16:24 19m 4s
basics on homotopy cofibers CI #3293: Pull request #2171 synchronize by Alizter
January 19, 2025 19:53 19m 54s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 19, 2025 19:53 19m 54s