Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
949 workflow runs
949 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[coq] Overlay for coq/coq#18385 CI #2258: Pull request #1951 opened by ejgallego
May 4, 2024 21:23 17m 10s ejgallego:remove_legacy_build_mode
ejgallego:remove_legacy_build_mode
May 4, 2024 21:23 17m 10s
pages build and deployment pages-build-deployment #209: by github-pages bot
May 4, 2024 14:50 47s
May 4, 2024 14:50 47s
biproducts, additive and abelian categories CI #2257: Pull request #1929 synchronize by Alizter
May 4, 2024 14:36 17m 9s Alizter:biproducts
Alizter:biproducts
May 4, 2024 14:36 17m 9s
Merge pull request #1947 from Alizter/ps/rr/bool__add_convenient_vari… CI #2256: Commit 72ced09 pushed by Alizter
May 4, 2024 14:33 17m 29s master
master
May 4, 2024 14:33 17m 29s
Bool: add convenient variant of negb_ne CI #2255: Pull request #1947 synchronize by Alizter
May 4, 2024 14:26 16m 57s Alizter:ps/rr/bool__add_convenient_variant_of_negb_ne
Alizter:ps/rr/bool__add_convenient_variant_of_negb_ne
May 4, 2024 14:26 16m 57s
pages build and deployment pages-build-deployment #208: by github-pages bot
May 4, 2024 03:06 48s
May 4, 2024 03:06 48s
Merge pull request #1949 from Alizter/ps/rr/cleanup_in_abgroups CI #2254: Commit 010c169 pushed by Alizter
May 4, 2024 02:48 17m 49s master
master
May 4, 2024 02:48 17m 49s
Merge pull request #1948 from Alizter/ps/rr/opposite_pointed_category CI #2253: Commit 3173ed9 pushed by Alizter
May 4, 2024 02:48 39s master
master
May 4, 2024 02:48 39s
pages build and deployment pages-build-deployment #207: by github-pages bot
May 3, 2024 22:26 57s
May 3, 2024 22:26 57s
Merge pull request #1946 from Alizter/ps/rr/rename_cat_coprod_prod_in… CI #2252: Commit 203fce5 pushed by Alizter
May 3, 2024 22:08 18m 13s master
master
May 3, 2024 22:08 18m 13s
Merge pull request #1944 from Alizter/ps/rr/monoidal__convenient_natu… CI #2251: Commit d2457d5 pushed by Alizter
May 3, 2024 22:08 1m 1s master
master
May 3, 2024 22:08 1m 1s
cleanup in AbGroups CI #2250: Pull request #1949 opened by Alizter
May 2, 2024 23:06 16m 57s Alizter:ps/rr/cleanup_in_abgroups
Alizter:ps/rr/cleanup_in_abgroups
May 2, 2024 23:06 16m 57s
biproducts, additive and abelian categories CI #2249: Pull request #1929 synchronize by Alizter
May 2, 2024 22:56 17m 59s Alizter:biproducts
Alizter:biproducts
May 2, 2024 22:56 17m 59s
biproducts, additive and abelian categories CI #2248: Pull request #1929 synchronize by Alizter
May 2, 2024 22:55 1m 58s Alizter:biproducts
Alizter:biproducts
May 2, 2024 22:55 1m 58s
Opposite pointed category CI #2247: Pull request #1948 opened by Alizter
May 2, 2024 21:50 17m 8s Alizter:ps/rr/opposite_pointed_category
Alizter:ps/rr/opposite_pointed_category
May 2, 2024 21:50 17m 8s
Bool: add convenient variant of negb_ne CI #2246: Pull request #1947 opened by Alizter
May 2, 2024 21:45 17m 22s Alizter:ps/rr/bool__add_convenient_variant_of_negb_ne
Alizter:ps/rr/bool__add_convenient_variant_of_negb_ne
May 2, 2024 21:45 17m 22s
biproducts, additive and abelian categories CI #2245: Pull request #1929 synchronize by Alizter
May 2, 2024 21:42 17m 36s Alizter:biproducts
Alizter:biproducts
May 2, 2024 21:42 17m 36s
pages build and deployment pages-build-deployment #206: by github-pages bot
May 2, 2024 21:39 54s
May 2, 2024 21:39 54s
rename cat_coprod_prod_incl -> cat_coprod_prod CI #2244: Pull request #1946 opened by Alizter
May 2, 2024 21:29 18m 28s Alizter:ps/rr/rename_cat_coprod_prod_incl____cat_coprod_prod
Alizter:ps/rr/rename_cat_coprod_prod_incl____cat_coprod_prod
May 2, 2024 21:29 18m 28s
Merge pull request #1943 from Alizter/ps/rr/shorter_proofs_of_monoida… CI #2243: Commit 1c4071d pushed by Alizter
May 2, 2024 21:21 18m 16s master
master
May 2, 2024 21:21 18m 16s
Monoidal: convenient naturality lemmas CI #2242: Pull request #1944 synchronize by Alizter
May 2, 2024 21:20 17m 36s Alizter:ps/rr/monoidal__convenient_naturality_lemmas
Alizter:ps/rr/monoidal__convenient_naturality_lemmas
May 2, 2024 21:20 17m 36s
Monoidal: convenient naturality lemmas CI #2241: Pull request #1944 opened by Alizter
May 2, 2024 20:06 18m 34s Alizter:ps/rr/monoidal__convenient_naturality_lemmas
Alizter:ps/rr/monoidal__convenient_naturality_lemmas
May 2, 2024 20:06 18m 34s
shorter proofs of monoidal structure in Products.v CI #2240: Pull request #1943 opened by Alizter
May 2, 2024 19:58 17m 27s Alizter:ps/rr/shorter_proofs_of_monoidal_structure_in_products_v
Alizter:ps/rr/shorter_proofs_of_monoidal_structure_in_products_v
May 2, 2024 19:58 17m 27s
pages build and deployment pages-build-deployment #205: by github-pages bot
May 2, 2024 19:48 51s
May 2, 2024 19:48 51s
Merge pull request #1942 from Alizter/cleanup_basics CI #2239: Commit ee8cc93 pushed by Alizter
May 2, 2024 19:30 18m 13s master
master
May 2, 2024 19:30 18m 13s