Skip to content

Actions: HoTT/Coq-HoTT

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2210 from thchatzidiamantis/Sequences_UniformStru… CI #3356: Commit 008a5d0 pushed by jdchristensen
February 1, 2025 18:50 19m 48s master
master
February 1, 2025 18:50 19m 48s
Sequences, uniform structures CI #3355: Pull request #2210 synchronize by thchatzidiamantis
February 1, 2025 16:56 18m 54s thchatzidiamantis:Sequences_UniformStructures
thchatzidiamantis:Sequences_UniformStructures
February 1, 2025 16:56 18m 54s
Merge pull request #2171 from Alizter/ps/rr/basics_on_homotopy_cofibers CI #3354: Commit e5a91f9 pushed by Alizter
February 1, 2025 14:29 19m 13s master
master
February 1, 2025 14:29 19m 13s
basics on homotopy cofibers CI #3353: Pull request #2171 synchronize by Alizter
February 1, 2025 10:06 18m 50s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
February 1, 2025 10:06 18m 50s
basics on homotopy cofibers CI #3352: Pull request #2171 synchronize by Alizter
January 31, 2025 22:30 18m 47s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 31, 2025 22:30 18m 47s
Sequences, uniform structures CI #3351: Pull request #2210 opened by thchatzidiamantis
January 31, 2025 21:18 19m 1s thchatzidiamantis:Sequences_UniformStructures
thchatzidiamantis:Sequences_UniformStructures
January 31, 2025 21:18 19m 1s
basics on homotopy cofibers CI #3350: Pull request #2171 synchronize by jdchristensen
January 31, 2025 20:28 4m 49s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 31, 2025 20:28 4m 49s
basics on homotopy cofibers CI #3349: Pull request #2171 synchronize by Alizter
January 31, 2025 20:05 5m 19s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 31, 2025 20:05 5m 19s
Merge pull request #2206 from Alizter/ps/rr/being_trivial_is_invarian… CI #3348: Commit 77c8a6d pushed by Alizter
January 31, 2025 09:53 19m 7s V9.0
V9.0
January 31, 2025 09:53 19m 7s
more on commutator subgroups CI #3347: Pull request #2205 synchronize by Alizter
January 31, 2025 08:14 19m 22s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
January 31, 2025 08:14 19m 22s
more on commutator subgroups CI #3346: Pull request #2205 synchronize by Alizter
January 30, 2025 21:34 19m 28s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
January 30, 2025 21:34 19m 28s
more on commutator subgroups CI #3345: Pull request #2205 synchronize by Alizter
January 30, 2025 21:17 17m 11s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
January 30, 2025 21:17 17m 11s
more on commutator subgroups CI #3344: Pull request #2205 synchronize by Alizter
January 30, 2025 15:58 19m 0s Alizter:ps/rr/more_on_commutator_subgroups
Alizter:ps/rr/more_on_commutator_subgroups
January 30, 2025 15:58 19m 0s
basics on homotopy cofibers CI #3343: Pull request #2171 synchronize by jdchristensen
January 29, 2025 21:45 5m 30s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 29, 2025 21:45 5m 30s
basics on homotopy cofibers CI #3342: Pull request #2171 synchronize by Alizter
January 29, 2025 21:23 5m 19s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 29, 2025 21:23 5m 19s
Adapt to coq/coq#20150 (more aggressive universe minimization) CI #3341: Pull request #2209 opened by SkySkimmer
January 29, 2025 13:16 4m 37s SkySkimmer:clean-univ-set
SkySkimmer:clean-univ-set
January 29, 2025 13:16 4m 37s
Merge pull request #2206 from Alizter/ps/rr/being_trivial_is_invarian… CI #3340: Commit 77c8a6d pushed by Alizter
January 29, 2025 12:12 20m 11s master
master
January 29, 2025 12:12 20m 11s
basics on homotopy cofibers CI #3339: Pull request #2171 synchronize by jdchristensen
January 28, 2025 21:58 5m 27s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 28, 2025 21:58 5m 27s
basics on homotopy cofibers CI #3338: Pull request #2171 synchronize by Alizter
January 28, 2025 19:35 5m 22s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 28, 2025 19:35 5m 22s
basics on homotopy cofibers CI #3337: Pull request #2171 synchronize by Alizter
January 28, 2025 10:43 5m 19s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 28, 2025 10:43 5m 19s
Wildcat rewriting tweaks CI #3336: Pull request #2208 synchronize by patrick-nicodemus
January 27, 2025 15:07 19m 26s patrick-nicodemus:wildcat-rewriting-tweaks
patrick-nicodemus:wildcat-rewriting-tweaks
January 27, 2025 15:07 19m 26s
basics on homotopy cofibers CI #3335: Pull request #2171 synchronize by Alizter
January 27, 2025 14:11 4m 41s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 27, 2025 14:11 4m 41s
basics on homotopy cofibers CI #3334: Pull request #2171 synchronize by Alizter
January 27, 2025 13:54 4m 52s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 27, 2025 13:54 4m 52s
basics on homotopy cofibers CI #3333: Pull request #2171 synchronize by Alizter
January 27, 2025 13:51 3m 7s Alizter:ps/rr/basics_on_homotopy_cofibers
Alizter:ps/rr/basics_on_homotopy_cofibers
January 27, 2025 13:51 3m 7s
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