Skip to content

Actions: forked-from-1kasper/ground_zero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update dependency map & simple lemmas CI #195: Commit 2bdc27a pushed by forked-from-1kasper
December 23, 2023 08:27 1m 6s master
master
December 23, 2023 08:27 1m 6s
lemmas & clean up CI #194: Commit c46908b pushed by forked-from-1kasper
December 22, 2023 09:53 1m 13s master
master
December 22, 2023 09:53 1m 13s
bugfix CI #193: Commit 7698f34 pushed by forked-from-1kasper
December 21, 2023 13:18 1m 22s master
master
December 21, 2023 13:18 1m 22s
check opaques & hott opaque → hott opaque & hott opaque axiom CI #191: Commit b69683b pushed by forked-from-1kasper
December 20, 2023 05:57 1m 23s master
master
December 20, 2023 05:57 1m 23s
Graph.lean → Quotient.lean, Quotient.lean → Setquot.lean CI #190: Commit cc9cbf7 pushed by forked-from-1kasper
December 19, 2023 10:33 1m 26s master
master
December 19, 2023 10:33 1m 26s
style & formatting & simplify some proofs CI #189: Commit e4374c6 pushed by forked-from-1kasper
December 19, 2023 07:59 1m 29s master
master
December 19, 2023 07:59 1m 29s
add notes CI #188: Commit 840d3f2 pushed by forked-from-1kasper
December 18, 2023 14:35 1m 22s master
master
December 18, 2023 14:35 1m 22s
fix universe level of some HITs CI #187: Commit a01c3b5 pushed by forked-from-1kasper
December 17, 2023 09:44 1m 20s master
master
December 17, 2023 09:44 1m 20s
implement “hott prohibit” CI #186: Commit 72ee903 pushed by forked-from-1kasper
December 17, 2023 06:12 1m 19s master
master
December 17, 2023 06:12 1m 19s
extend “hott axiom” & hott opaque & some documentation CI #185: Commit b2b5e12 pushed by forked-from-1kasper
December 16, 2023 14:09 1m 23s master
master
December 16, 2023 14:09 1m 23s
add dummy class to keep ambient Lean consistent CI #184: Commit 1bd3ffc pushed by forked-from-1kasper
December 16, 2023 11:51 1m 18s master
master
December 16, 2023 11:51 1m 18s
lemmas & minor changes CI #183: Commit 2f0b50a pushed by forked-from-1kasper
December 15, 2023 12:10 1m 30s master
master
December 15, 2023 12:10 1m 30s
add links CI #182: Commit 6190727 pushed by forked-from-1kasper
December 14, 2023 03:33 1m 20s master
master
December 14, 2023 03:33 1m 20s
hott check & clean up old code a bit CI #179: Commit 86a3545 pushed by forked-from-1kasper
December 13, 2023 11:45 1m 26s master
master
December 13, 2023 11:45 1m 26s
structure of syntactic weak ∞-groupoid CI #178: Commit c3fe43b pushed by forked-from-1kasper
December 12, 2023 14:36 1m 24s master
master
December 12, 2023 14:36 1m 24s
clean up a bit CI #177: Commit 21e4a3e pushed by forked-from-1kasper
December 11, 2023 09:16 1m 21s master
master
December 11, 2023 09:16 1m 21s
some macro tricks & bugfix for #success/#failure CI #176: Commit b91c793 pushed by forked-from-1kasper
December 10, 2023 05:02 1m 21s master
master
December 10, 2023 05:02 1m 21s
join & some formatting CI #175: Commit 19b7956 pushed by forked-from-1kasper
December 9, 2023 08:40 1m 17s master
master
December 9, 2023 08:40 1m 17s
remove unnecessary @[hottAxiom] & various lemmas CI #174: Commit e061d41 pushed by forked-from-1kasper
December 8, 2023 12:36 1m 19s master
master
December 8, 2023 12:36 1m 19s
simple lemmas & typos CI #173: Commit 1f3e450 pushed by forked-from-1kasper
December 7, 2023 09:11 1m 21s master
master
December 7, 2023 09:11 1m 21s
5.3 & 5.4 & 5.7 & 5.8 & 5.9 & 5.11 CI #172: Commit 42f7ae7 pushed by forked-from-1kasper
December 6, 2023 10:23 1m 23s master
master
December 6, 2023 10:23 1m 23s
5.2 CI #171: Commit 999729e pushed by forked-from-1kasper
December 6, 2023 08:27 1m 27s master
master
December 6, 2023 08:27 1m 27s
abbreviations & style changes & lakefile.lean CI #170: Commit bc68bf2 pushed by forked-from-1kasper
December 5, 2023 06:36 1m 24s master
master
December 5, 2023 06:36 1m 24s
remove obsolete scripts CI #169: Commit 1464ba5 pushed by forked-from-1kasper
December 4, 2023 13:58 1m 31s master
master
December 4, 2023 13:58 1m 31s
remove unecessary use of univalence & minor lemmas & style changes CI #168: Commit 1506f5b pushed by forked-from-1kasper
December 4, 2023 10:09 1m 39s master
master
December 4, 2023 10:09 1m 39s