Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,109 workflow runs
2,109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Makefile.coq.local: reduce long line warnings in alectryon build CI #1847: Pull request #1836 synchronize by jdchristensen
February 12, 2024 22:24 16m 9s jdchristensen:long-lines
jdchristensen:long-lines
February 12, 2024 22:24 16m 9s
characterize fiber of loop-susp counit CI #1846: Pull request #1850 opened by Alizter
February 12, 2024 22:22 16m 31s Alizter:ps/branch/characterize_fiber_of_loop_susp_counit
Alizter:ps/branch/characterize_fiber_of_loop_susp_counit
February 12, 2024 22:22 16m 31s
pages build and deployment pages-build-deployment #149: by github-pages bot
February 12, 2024 21:46 1m 1s gh-pages
gh-pages
February 12, 2024 21:46 1m 1s
various improvements to wedge CI #1845: Pull request #1849 synchronize by Alizter
February 12, 2024 21:37 17m 34s Alizter:ps/branch/various_improvements_to_wedge
Alizter:ps/branch/various_improvements_to_wedge
February 12, 2024 21:37 17m 34s
various improvements to wedge CI #1844: Pull request #1849 opened by Alizter
February 12, 2024 21:37 1m 47s Alizter:ps/branch/various_improvements_to_wedge
Alizter:ps/branch/various_improvements_to_wedge
February 12, 2024 21:37 1m 47s
diagonal map into binary product CI #1843: Pull request #1848 opened by Alizter
February 12, 2024 21:33 20m 16s Alizter:ps/branch/diagonal_map_into_binary_product
Alizter:ps/branch/diagonal_map_into_binary_product
February 12, 2024 21:33 20m 16s
functoriality of binary coproducts CI #1842: Pull request #1847 opened by Alizter
February 12, 2024 21:31 18m 12s Alizter:ps/branch/functoriality_of_binary_coproducts
Alizter:ps/branch/functoriality_of_binary_coproducts
February 12, 2024 21:31 18m 12s
Merge pull request #1845 from Alizter/ps/branch/pinch_map_of_suspension CI #1841: Commit f08ef4b pushed by Alizter
February 12, 2024 21:29 17m 37s master
master
February 12, 2024 21:29 17m 37s
Merge pull request #1842 from Alizter/ps/branch/update_alectryon CI #1840: Commit 0b9458a pushed by Alizter
February 12, 2024 21:28 1m 0s master
master
February 12, 2024 21:28 1m 0s
put hor \/ notation in module CI #1839: Pull request #1846 opened by Alizter
February 12, 2024 21:26 17m 16s Alizter:ps/branch/put_hor____notation_in_module
Alizter:ps/branch/put_hor____notation_in_module
February 12, 2024 21:26 17m 16s
pinch map of suspension CI #1838: Pull request #1845 synchronize by Alizter
February 12, 2024 21:08 18m 1s Alizter:ps/branch/pinch_map_of_suspension
Alizter:ps/branch/pinch_map_of_suspension
February 12, 2024 21:08 18m 1s
update alectryon CI #1837: Pull request #1842 synchronize by Alizter
February 12, 2024 21:05 17m 2s Alizter:ps/branch/update_alectryon
Alizter:ps/branch/update_alectryon
February 12, 2024 21:05 17m 2s
update alectryon CI #1836: Commit 28e9b4e pushed by JasonGross
February 12, 2024 21:05 16m 35s pr/1842
pr/1842
February 12, 2024 21:05 16m 35s
pinch map of suspension CI #1835: Pull request #1845 synchronize by Alizter
February 12, 2024 21:00 9m 45s Alizter:ps/branch/pinch_map_of_suspension
Alizter:ps/branch/pinch_map_of_suspension
February 12, 2024 21:00 9m 45s
pages build and deployment pages-build-deployment #148: by github-pages bot
February 12, 2024 19:29 1m 3s gh-pages
gh-pages
February 12, 2024 19:29 1m 3s
pinch map of suspension CI #1834: Pull request #1845 opened by Alizter
February 12, 2024 19:17 16m 31s Alizter:ps/branch/pinch_map_of_suspension
Alizter:ps/branch/pinch_map_of_suspension
February 12, 2024 19:17 16m 31s
Merge pull request #1844 from Alizter/ps/branch/wedge_projections CI #1833: Commit c01d630 pushed by Alizter
February 12, 2024 19:13 16m 28s master
master
February 12, 2024 19:13 16m 28s
pages build and deployment pages-build-deployment #147: by github-pages bot
February 12, 2024 19:10 1m 0s gh-pages
gh-pages
February 12, 2024 19:10 1m 0s
Merge pull request #1843 from jdchristensen/colimits CI #1832: Commit ed81aa8 pushed by jdchristensen
February 12, 2024 18:54 16m 39s master
master
February 12, 2024 18:54 16m 39s
wedge projections CI #1831: Pull request #1844 opened by Alizter
February 12, 2024 16:58 16m 25s Alizter:ps/branch/wedge_projections
Alizter:ps/branch/wedge_projections
February 12, 2024 16:58 16m 25s
Colimits and Hopf: clean up and speed up CI #1830: Pull request #1843 opened by jdchristensen
February 12, 2024 16:16 16m 14s jdchristensen:colimits
jdchristensen:colimits
February 12, 2024 16:16 16m 14s
pages build and deployment pages-build-deployment #146: by github-pages bot
February 12, 2024 15:52 1m 31s gh-pages
gh-pages
February 12, 2024 15:52 1m 31s
Merge pull request #1840 from Alizter/ps/branch/flattening_for_pushouts CI #1829: Commit ab1b7e1 pushed by Alizter
February 12, 2024 15:36 16m 34s master
master
February 12, 2024 15:36 16m 34s
update alectryon CI #1828: Pull request #1842 opened by Alizter
February 12, 2024 15:12 10m 15s Alizter:ps/branch/update_alectryon
Alizter:ps/branch/update_alectryon
February 12, 2024 15:12 10m 15s
flattening for pushouts + total space of Hopf construction CI #1827: Pull request #1840 synchronize by Alizter
February 12, 2024 01:41 16m 27s Alizter:ps/branch/flattening_for_pushouts
Alizter:ps/branch/flattening_for_pushouts
February 12, 2024 01:41 16m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-02-12 or the other filters available.