Skip to content

Actions: HoTT/Coq-HoTT

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce universe variables, mainly in WildCat CI #1668: Pull request #1791 synchronize by jdchristensen
October 24, 2023 23:53 20m 39s jdchristensen:reduce-universe-vars
jdchristensen:reduce-universe-vars
October 24, 2023 23:53 20m 39s
Merge pull request #1790 from jdchristensen/RSU CI #1667: Commit 9da301e pushed by jdchristensen
October 23, 2023 23:57 26m 32s master
master
October 23, 2023 23:57 26m 32s
Reduce universe variables, mainly in WildCat CI #1666: Pull request #1791 synchronize by jdchristensen
October 23, 2023 21:43 24m 40s jdchristensen:reduce-universe-vars
jdchristensen:reduce-universe-vars
October 23, 2023 21:43 24m 40s
ReflectiveSubuniverse: workaround no longer needed CI #1665: Pull request #1790 synchronize by jdchristensen
October 23, 2023 21:07 20m 17s jdchristensen:RSU
jdchristensen:RSU
October 23, 2023 21:07 20m 17s
Reduce universe variables, mainly in WildCat CI #1664: Pull request #1791 opened by jdchristensen
October 23, 2023 20:33 21m 24s jdchristensen:reduce-universe-vars
jdchristensen:reduce-universe-vars
October 23, 2023 20:33 21m 24s
Merge pull request #1789 from jdchristensen/colimit-flattening CI #1663: Commit e26ac2c pushed by jdchristensen
October 20, 2023 23:43 22m 19s master
master
October 20, 2023 23:43 22m 19s
ReflectiveSubuniverse: workaround no longer needed CI #1662: Pull request #1790 synchronize by jdchristensen
October 20, 2023 23:37 21m 54s jdchristensen:RSU
jdchristensen:RSU
October 20, 2023 23:37 21m 54s
ReflectiveSubuniverse: workaround no longer needed CI #1661: Pull request #1790 synchronize by jdchristensen
October 20, 2023 22:43 22m 0s jdchristensen:RSU
jdchristensen:RSU
October 20, 2023 22:43 22m 0s
ReflectiveSubuniverse: workaround no longer needed CI #1660: Pull request #1790 opened by jdchristensen
October 20, 2023 22:43 1m 10s jdchristensen:RSU
jdchristensen:RSU
October 20, 2023 22:43 1m 10s
Speed up Colimit_Flattening CI #1659: Pull request #1789 opened by jdchristensen
October 20, 2023 21:14 24m 11s jdchristensen:colimit-flattening
jdchristensen:colimit-flattening
October 20, 2023 21:14 24m 11s
Merge pull request #1788 from jdchristensen/equivalences-clean-up CI #1658: Commit ca9ef4b pushed by jdchristensen
October 20, 2023 19:24 26m 27s master
master
October 20, 2023 19:24 26m 27s
Equivalences clean up CI #1657: Pull request #1788 synchronize by Alizter
October 20, 2023 17:59 22m 47s jdchristensen:equivalences-clean-up
jdchristensen:equivalences-clean-up
October 20, 2023 17:59 22m 47s
Merge pull request #1787 from jdchristensen/No-core-todo CI #1656: Commit 90a338a pushed by Alizter
October 20, 2023 17:14 21m 33s master
master
October 20, 2023 17:14 21m 33s
Equivalences clean up CI #1655: Pull request #1788 opened by jdchristensen
October 20, 2023 15:20 30m 45s jdchristensen:equivalences-clean-up
jdchristensen:equivalences-clean-up
October 20, 2023 15:20 30m 45s
No/Core: add todo saying to remove workaround when Coq 8.19 is required CI #1654: Pull request #1787 opened by jdchristensen
October 20, 2023 15:16 24m 25s jdchristensen:No-core-todo
jdchristensen:No-core-todo
October 20, 2023 15:16 24m 25s
Merge pull request #1786 from jdchristensen/join-id-sym CI #1653: Commit 11efe93 pushed by jdchristensen
October 19, 2023 17:38 21m 2s master
master
October 19, 2023 17:38 21m 2s
trijoin_id_sym is natural; export more from HSpace/Core CI #1652: Pull request #1786 opened by jdchristensen
October 19, 2023 12:36 25m 39s jdchristensen:join-id-sym
jdchristensen:join-id-sym
October 19, 2023 12:36 25m 39s
Merge pull request #1785 from jdchristensen/limit-classes-export CI #1651: Commit 7104ce2 pushed by jdchristensen
October 18, 2023 20:38 26m 48s master
master
October 18, 2023 20:38 26m 48s
Don't Export all of Classes.interfaces.abstract_algebra CI #1650: Pull request #1785 synchronize by jdchristensen
October 18, 2023 13:54 24m 45s jdchristensen:limit-classes-export
jdchristensen:limit-classes-export
October 18, 2023 13:54 24m 45s
Don't Export all of Classes.interfaces.abstract_algebra CI #1649: Pull request #1785 opened by jdchristensen
October 17, 2023 21:59 21m 10s jdchristensen:limit-classes-export
jdchristensen:limit-classes-export
October 17, 2023 21:59 21m 10s
Merge pull request #1784 from jdchristensen/join-hexagon CI #1648: Commit 687e370 pushed by jdchristensen
October 17, 2023 15:27 27m 38s master
master
October 17, 2023 15:27 27m 38s
Merge pull request #1778 from Alizter/ps/branch/wildcat__show_univers… CI #1647: Commit 9922cad pushed by Alizter
October 17, 2023 14:58 27m 14s master
master
October 17, 2023 14:58 27m 14s
Join: prove unitors, triangle law, and hexagon law CI #1646: Pull request #1784 opened by jdchristensen
October 17, 2023 01:39 26m 39s jdchristensen:join-hexagon
jdchristensen:join-hexagon
October 17, 2023 01:39 26m 39s
wildcat: show Universe is a 2-cat CI #1645: Pull request #1778 synchronize by Alizter
October 16, 2023 13:57 24m 19s Alizter:ps/branch/wildcat__show_universe_is_a_2_cat
Alizter:ps/branch/wildcat__show_universe_is_a_2_cat
October 16, 2023 13:57 24m 19s
wildcat: show Universe is a 2-cat CI #1644: Pull request #1778 synchronize by Alizter
October 16, 2023 13:56 1m 46s Alizter:ps/branch/wildcat__show_universe_is_a_2_cat
Alizter:ps/branch/wildcat__show_universe_is_a_2_cat
October 16, 2023 13:56 1m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.