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

Merge pull request #1811 from Alizter/ps/branch/use_quotient_in_ordin… CI #1729: Commit 1017dbd pushed by Alizter
January 13, 2024 00:52 17m 24s master
master
January 13, 2024 00:52 17m 24s
Merge pull request #1810 from Alizter/ps/branch/use_quotient_in_ua_li… CI #1728: Commit ab9faec pushed by Alizter
January 13, 2024 00:52 36s master
master
January 13, 2024 00:52 36s
pages build and deployment with artifacts-next pages-build-deployment #121: by github-pages bot
January 12, 2024 22:40 59s gh-pages
gh-pages
January 12, 2024 22:40 59s
Merge pull request #1808 from Alizter/ps/branch/test__wildcat_opposit… CI #1727: Commit 6cba050 pushed by Alizter
January 12, 2024 22:23 17m 24s master
master
January 12, 2024 22:23 17m 24s
Make IsTrunc an inductive type CI #1726: Pull request #1806 synchronize by jdchristensen
January 12, 2024 22:12 16m 9s jdchristensen:inductive-istrunc
jdchristensen:inductive-istrunc
January 12, 2024 22:12 16m 9s
Make IsTrunc an inductive type CI #1725: Pull request #1806 synchronize by jdchristensen
January 12, 2024 22:05 6m 35s jdchristensen:inductive-istrunc
jdchristensen:inductive-istrunc
January 12, 2024 22:05 6m 35s
use Quotient in Ordinals.v CI #1724: Pull request #1811 opened by Alizter
January 12, 2024 22:04 19m 41s Alizter:ps/branch/use_quotient_in_ordinals_v
Alizter:ps/branch/use_quotient_in_ordinals_v
January 12, 2024 22:04 19m 41s
use Quotient in ua library CI #1723: Pull request #1810 opened by Alizter
January 12, 2024 22:03 18m 44s Alizter:ps/branch/use_quotient_in_ua_library
Alizter:ps/branch/use_quotient_in_ua_library
January 12, 2024 22:03 18m 44s
test: Quotient universe levels CI #1722: Pull request #1809 opened by Alizter
January 12, 2024 22:01 19m 11s Alizter:ps/branch/test__quotient_universe_levels
Alizter:ps/branch/test__quotient_universe_levels
January 12, 2024 22:01 19m 11s
Make IsTrunc an inductive type CI #1721: Pull request #1806 synchronize by jdchristensen
January 12, 2024 21:27 2m 42s jdchristensen:inductive-istrunc
jdchristensen:inductive-istrunc
January 12, 2024 21:27 2m 42s
cleanup tests scattered throughout library CI #1720: Pull request #1808 opened by Alizter
January 12, 2024 20:38 16m 21s Alizter:ps/branch/test__wildcat_opposite_being_definitionally_involuted
Alizter:ps/branch/test__wildcat_opposite_being_definitionally_involuted
January 12, 2024 20:38 16m 21s
remove workaround for coq/coq#8994 CI #1719: Pull request #1807 opened by Alizter
January 12, 2024 20:30 16m 48s Alizter:ps/branch/remove_workaround_for_coq_coq_8994
Alizter:ps/branch/remove_workaround_for_coq_coq_8994
January 12, 2024 20:30 16m 48s
pages build and deployment pages-build-deployment #120: by github-pages bot
January 12, 2024 15:27 1m 4s gh-pages
gh-pages
January 12, 2024 15:27 1m 4s
Merge pull request #1804 from Alizter/ps/branch/wildcat__binary_products CI #1718: Commit d7f84cd pushed by Alizter
January 12, 2024 15:11 17m 2s master
master
January 12, 2024 15:11 17m 2s
wildcat: binary products CI #1717: Pull request #1804 synchronize by Alizter
January 11, 2024 18:57 16m 34s Alizter:ps/branch/wildcat__binary_products
Alizter:ps/branch/wildcat__binary_products
January 11, 2024 18:57 16m 34s
Make IsTrunc an inductive type CI #1716: Pull request #1806 synchronize by jdchristensen
January 11, 2024 17:56 2m 46s jdchristensen:inductive-istrunc
jdchristensen:inductive-istrunc
January 11, 2024 17:56 2m 46s
Make IsTrunc an inductive type CI #1715: Pull request #1806 synchronize by jdchristensen
January 11, 2024 17:21 2m 50s jdchristensen:inductive-istrunc
jdchristensen:inductive-istrunc
January 11, 2024 17:21 2m 50s
Make IsTrunc an inductive type CI #1714: Pull request #1806 synchronize by jdchristensen
January 11, 2024 17:12 2m 48s jdchristensen:inductive-istrunc
jdchristensen:inductive-istrunc
January 11, 2024 17:12 2m 48s
wildcat: binary products CI #1713: Pull request #1804 synchronize by Alizter
January 11, 2024 12:35 16m 29s Alizter:ps/branch/wildcat__binary_products
Alizter:ps/branch/wildcat__binary_products
January 11, 2024 12:35 16m 29s
Make IsTrunc an inductive type CI #1712: Pull request #1806 opened by jdchristensen
January 10, 2024 22:12 2m 32s jdchristensen:inductive-istrunc
jdchristensen:inductive-istrunc
January 10, 2024 22:12 2m 32s
wildcat: binary products CI #1711: Pull request #1804 synchronize by Alizter
January 10, 2024 18:21 16m 41s Alizter:ps/branch/wildcat__binary_products
Alizter:ps/branch/wildcat__binary_products
January 10, 2024 18:21 16m 41s
Reduce universe variables and other clean-ups CI #1710: Pull request #1805 synchronize by jdchristensen
January 10, 2024 14:00 16m 21s jdchristensen:universe-vars
jdchristensen:universe-vars
January 10, 2024 14:00 16m 21s
pages build and deployment pages-build-deployment #119: by github-pages bot
January 9, 2024 20:42 1m 10s gh-pages
gh-pages
January 9, 2024 20:42 1m 10s
Merge pull request #1803 from jdchristensen/pmap-from-psphere CI #1709: Commit 191c10e pushed by jdchristensen
January 9, 2024 20:25 17m 7s master
master
January 9, 2024 20:25 17m 7s
Reduce universe variables and other clean-ups CI #1708: Pull request #1805 opened by jdchristensen
January 9, 2024 20:22 16m 34s jdchristensen:universe-vars
jdchristensen:universe-vars
January 9, 2024 20:22 16m 34s
ProTip! You can narrow down the results and go further in time using created:<2024-01-09 or the other filters available.