Skip to content

Actions: HoTT/Coq-HoTT

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,693 workflow runs
1,693 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more on commutator subgroups CI #3381: Pull request #2205 synchronize by jdchristensen
February 13, 2025 18:15 19m 19s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 13, 2025 18:15 19m 19s
more on commutator subgroups CI #3380: Pull request #2205 synchronize by jdchristensen
February 13, 2025 17:27 19m 3s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 13, 2025 17:27 19m 3s
more on commutator subgroups CI #3379: Pull request #2205 synchronize by jdchristensen
February 11, 2025 20:04 19m 19s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 20:04 19m 19s
more on commutator subgroups CI #3378: Pull request #2205 synchronize by jdchristensen
February 11, 2025 19:40 19m 2s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 19:40 19m 2s
Cleanup in ClassifyingSpace.v CI #3377: Pull request #2213 opened by Alizter
February 11, 2025 14:55 19m 30s Alizter:ps/rr/remove_rewrites_from_classifyingspace_v
Alizter:ps/rr/remove_rewrites_from_classifyingspace_v
February 11, 2025 14:55 19m 30s
more on commutator subgroups CI #3376: Pull request #2205 synchronize by jdchristensen
February 11, 2025 14:48 19m 32s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 14:48 19m 32s
more on commutator subgroups CI #3375: Pull request #2205 synchronize by Alizter
February 11, 2025 14:24 19m 10s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 14:24 19m 10s
more on commutator subgroups CI #3374: Pull request #2205 synchronize by Alizter
February 11, 2025 14:05 18m 53s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 14:05 18m 53s
more on commutator subgroups CI #3373: Pull request #2205 synchronize by Alizter
February 11, 2025 09:08 19m 19s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 09:08 19m 19s
more on commutator subgroups CI #3372: Pull request #2205 synchronize by Alizter
February 11, 2025 09:05 3m 3s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 09:05 3m 3s
more on commutator subgroups CI #3371: Pull request #2205 synchronize by Alizter
February 11, 2025 08:58 7m 55s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 08:58 7m 55s
more on commutator subgroups CI #3370: Pull request #2205 synchronize by Alizter
February 11, 2025 08:54 3m 39s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 08:54 3m 39s
more on commutator subgroups CI #3369: Pull request #2205 synchronize by Alizter
February 11, 2025 08:50 5m 15s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 08:50 5m 15s
more on commutator subgroups CI #3368: Pull request #2205 synchronize by Alizter
February 11, 2025 08:45 5m 15s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 11, 2025 08:45 5m 15s
more on commutator subgroups CI #3367: Pull request #2205 synchronize by jdchristensen
February 10, 2025 22:27 18m 50s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 10, 2025 22:27 18m 50s
more on commutator subgroups CI #3366: Pull request #2205 synchronize by Alizter
February 10, 2025 22:04 18m 50s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 10, 2025 22:04 18m 50s
more on commutator subgroups CI #3365: Pull request #2205 synchronize by Alizter
February 10, 2025 21:02 3m 32s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 10, 2025 21:02 3m 32s
more on commutator subgroups CI #3364: Pull request #2205 synchronize by Alizter
February 10, 2025 19:40 19m 51s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 10, 2025 19:40 19m 51s
more on commutator subgroups CI #3363: Pull request #2205 synchronize by Alizter
February 10, 2025 19:37 3m 3s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 10, 2025 19:37 3m 3s
more on commutator subgroups CI #3362: Pull request #2205 synchronize by Alizter
February 9, 2025 20:54 21m 36s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 9, 2025 20:54 21m 36s
connectivity of wedge inclusion CI #3361: Pull request #2211 synchronize by Alizter
February 9, 2025 20:53 21m 26s Alizter:ps/rr/connectivity_of_wedge_inclusion
Alizter:ps/rr/connectivity_of_wedge_inclusion
February 9, 2025 20:53 21m 26s
Merge pull request #2212 from Alizter/ps/rr/ci__fix_permission_issues… CI #3360: Commit 15040ac pushed by Alizter
February 9, 2025 20:53 21m 2s master
master
February 9, 2025 20:53 21m 2s
ci: fix permission issues in dev CI #3359: Pull request #2212 opened by Alizter
February 9, 2025 20:49 18m 52s Alizter:ps/rr/ci__fix_permission_issues_in_dev
Alizter:ps/rr/ci__fix_permission_issues_in_dev
February 9, 2025 20:49 18m 52s
connectivity of wedge inclusion CI #3358: Pull request #2211 opened by Alizter
February 9, 2025 18:52 4m 37s Alizter:ps/rr/connectivity_of_wedge_inclusion
Alizter:ps/rr/connectivity_of_wedge_inclusion
February 9, 2025 18:52 4m 37s
more on commutator subgroups CI #3357: Pull request #2205 synchronize by jdchristensen
February 7, 2025 22:43 4m 36s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
February 7, 2025 22:43 4m 36s