Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wildcat: binary products CI #1707: Pull request #1804 opened by Alizter
January 9, 2024 18:07 16m 31s Alizter:ps/branch/wildcat__binary_products
Alizter:ps/branch/wildcat__binary_products
January 9, 2024 18:07 16m 31s
Add pmap_from_psphere_iterated_loops, and needed lemmas CI #1706: Pull request #1803 synchronize by jdchristensen
January 9, 2024 17:37 17m 10s jdchristensen:pmap-from-psphere
jdchristensen:pmap-from-psphere
January 9, 2024 17:37 17m 10s
Add pmap_from_psphere_iterated_loops, and needed lemmas CI #1705: Pull request #1803 opened by jdchristensen
January 9, 2024 16:46 3m 44s jdchristensen:pmap-from-psphere
jdchristensen:pmap-from-psphere
January 9, 2024 16:46 3m 44s
pages build and deployment pages-build-deployment #118: by github-pages bot
January 9, 2024 15:42 1m 13s gh-pages
gh-pages
January 9, 2024 15:42 1m 13s
Merge pull request #1802 from jdchristensen/striprequires CI #1704: Commit 2dcbb3b pushed by jdchristensen
January 9, 2024 15:25 16m 55s master
master
January 9, 2024 15:25 16m 55s
pages build and deployment pages-build-deployment #117: by github-pages bot
January 9, 2024 10:26 1m 7s gh-pages
gh-pages
January 9, 2024 10:26 1m 7s
Merge pull request #1801 from Alizter/ps/branch/cayleydickson__some_c… CI #1703: Commit eb4de4b pushed by Alizter
January 9, 2024 10:09 16m 59s master
master
January 9, 2024 10:09 16m 59s
CayleyDickson: some cleanups, remove funext CI #1702: Pull request #1801 synchronize by Alizter
January 8, 2024 21:56 16m 26s Alizter:ps/branch/cayleydickson__some_cleanups__remove_funext
Alizter:ps/branch/cayleydickson__some_cleanups__remove_funext
January 8, 2024 21:56 16m 26s
pages build and deployment pages-build-deployment #116: by github-pages bot
January 8, 2024 21:34 1m 8s gh-pages
gh-pages
January 8, 2024 21:34 1m 8s
Remove a few "Require" commands that aren't needed CI #1701: Pull request #1802 opened by jdchristensen
January 8, 2024 21:22 16m 44s jdchristensen:striprequires
jdchristensen:striprequires
January 8, 2024 21:22 16m 44s
Merge pull request #1800 from jdchristensen/pinSn CI #1700: Commit 1814742 pushed by jdchristensen
January 8, 2024 21:17 17m 9s master
master
January 8, 2024 21:17 17m 9s
πₙ(Sⁿ) = Z, and other cleanups CI #1699: Pull request #1800 synchronize by jdchristensen
January 8, 2024 21:13 16m 48s jdchristensen:pinSn
jdchristensen:pinSn
January 8, 2024 21:13 16m 48s
CayleyDickson: some cleanups, remove funext CI #1698: Pull request #1801 opened by Alizter
January 8, 2024 20:26 16m 28s Alizter:ps/branch/cayleydickson__some_cleanups__remove_funext
Alizter:ps/branch/cayleydickson__some_cleanups__remove_funext
January 8, 2024 20:26 16m 28s
πₙ(Sⁿ) = Z, and other cleanups CI #1697: Pull request #1800 opened by jdchristensen
January 8, 2024 16:11 16m 42s jdchristensen:pinSn
jdchristensen:pinSn
January 8, 2024 16:11 16m 42s
pages build and deployment pages-build-deployment #115: by github-pages bot
January 5, 2024 10:07 1m 24s gh-pages
gh-pages
January 5, 2024 10:07 1m 24s
Merge pull request #1799 from Alizter/ps/branch/1_category_of_success… CI #1696: Commit 5ed12a9 pushed by Alizter
January 5, 2024 09:50 17m 14s master
master
January 5, 2024 09:50 17m 14s
1-category of successor structures CI #1695: Pull request #1799 synchronize by Alizter
January 4, 2024 19:23 16m 37s Alizter:ps/branch/1_category_of_successor_structures
Alizter:ps/branch/1_category_of_successor_structures
January 4, 2024 19:23 16m 37s
1-category of successor structures CI #1694: Pull request #1799 opened by Alizter
January 2, 2024 15:45 16m 17s Alizter:ps/branch/1_category_of_successor_structures
Alizter:ps/branch/1_category_of_successor_structures
January 2, 2024 15:45 16m 17s
pages build and deployment pages-build-deployment #114: by github-pages bot
January 1, 2024 21:08 1m 5s gh-pages
gh-pages
January 1, 2024 21:08 1m 5s
Merge pull request #1797 from jdchristensen/phomotopy CI #1693: Commit 698ca2f pushed by Alizter
January 1, 2024 20:51 17m 3s master
master
January 1, 2024 20:51 17m 3s
pHomotopy, pmap_postwhisker CI #1692: Pull request #1797 synchronize by jdchristensen
January 1, 2024 17:50 16m 53s jdchristensen:phomotopy
jdchristensen:phomotopy
January 1, 2024 17:50 16m 53s
pHomotopy, pmap_postwhisker CI #1691: Pull request #1797 synchronize by jdchristensen
December 30, 2023 20:18 16m 37s jdchristensen:phomotopy
jdchristensen:phomotopy
December 30, 2023 20:18 16m 37s
pHomotopy, pmap_postwhisker CI #1690: Pull request #1797 opened by jdchristensen
December 30, 2023 16:31 16m 51s jdchristensen:phomotopy
jdchristensen:phomotopy
December 30, 2023 16:31 16m 51s
pages build and deployment pages-build-deployment #113: by github-pages bot
December 30, 2023 16:24 1m 2s gh-pages
gh-pages
December 30, 2023 16:24 1m 2s
Merge pull request #1796 from jdchristensen/misc CI #1689: Commit ef5eb20 pushed by Alizter
December 30, 2023 16:06 17m 24s master
master
December 30, 2023 16:06 17m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-12-30 or the other filters available.