Skip to content

Actions: forked-from-1kasper/ground_zero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

examples in EtaFailure & fix test CI #167: Commit 6b41fcf pushed by forked-from-1kasper
December 3, 2023 12:23 1m 33s master
master
December 3, 2023 12:23 1m 33s
leave some checks to ensure consistency CI #166: Commit be2b5c8 pushed by forked-from-1kasper
December 3, 2023 12:12 1m 29s master
master
December 3, 2023 12:12 1m 29s
fix constistency issue & fix some (actually) invalid proofs CI #165: Commit 810b388 pushed by forked-from-1kasper
December 3, 2023 11:03 1m 30s master
master
December 3, 2023 11:03 1m 30s
add new module CI #164: Commit 041d6fa pushed by forked-from-1kasper
December 2, 2023 13:08 1m 31s master
master
December 2, 2023 13:08 1m 31s
definition of cell complex CI #163: Commit e840f8a pushed by forked-from-1kasper
December 1, 2023 13:45 1m 34s master
master
December 1, 2023 13:45 1m 34s
formatting CI #162: Commit a3bf39c pushed by forked-from-1kasper
November 30, 2023 16:11 1m 29s master
master
November 30, 2023 16:11 1m 29s
mimic Lean 2 CI #161: Commit 5f7e470 pushed by forked-from-1kasper
November 29, 2023 11:10 1m 38s master
master
November 29, 2023 11:10 1m 38s
Circle.lean → Circle.lean & Sphere.lean CI #160: Commit 1135b7b pushed by forked-from-1kasper
November 28, 2023 09:25 1m 29s master
master
November 28, 2023 09:25 1m 29s
formatting CI #159: Commit cd948d3 pushed by forked-from-1kasper
November 27, 2023 14:09 1m 34s master
master
November 27, 2023 14:09 1m 34s
8.6.1 & some theorems about n-truncation CI #158: Commit 14f168b pushed by forked-from-1kasper
November 26, 2023 08:35 1m 31s master
master
November 26, 2023 08:35 1m 31s
add new file CI #157: Commit 5c34ae9 pushed by forked-from-1kasper
November 25, 2023 09:22 11m 57s master
master
November 25, 2023 09:22 11m 57s
record & remove boilerplate CI #156: Commit dd4425a pushed by forked-from-1kasper
November 24, 2023 15:08 1m 29s master
master
November 24, 2023 15:08 1m 29s
clean up & renamings & definition of interval CI #154: Commit a43a3f1 pushed by forked-from-1kasper
November 23, 2023 04:12 1m 32s master
master
November 23, 2023 04:12 1m 32s
upload lost file (Univalence.lean) CI #153: Commit 9c4227f pushed by forked-from-1kasper
November 22, 2023 14:38 1m 30s master
master
November 22, 2023 14:38 1m 30s
formatting CI #151: Commit b7f8a26 pushed by forked-from-1kasper
November 21, 2023 14:07 1m 31s master
master
November 21, 2023 14:07 1m 31s
minor changes & dependency map CI #150: Commit 53d0bd9 pushed by forked-from-1kasper
November 20, 2023 13:41 1m 37s master
master
November 20, 2023 13:41 1m 37s
fix CI CI #149: Commit 0655b19 pushed by forked-from-1kasper
November 19, 2023 15:53 1m 25s master
master
November 19, 2023 15:53 1m 25s
pointed maps out of spheres & minor theorems about loop space CI #145: Commit 61914d3 pushed by forked-from-1kasper
November 19, 2023 09:52 1m 25s master
master
November 19, 2023 09:52 1m 25s
happlyΩ & funextΩ CI #144: Commit c9b7dc0 pushed by forked-from-1kasper
November 18, 2023 05:46 1m 22s master
master
November 18, 2023 05:46 1m 22s
universal property of Sⁿ⁺¹ & lemmas about loops CI #143: Commit d3b7f2a pushed by forked-from-1kasper
November 17, 2023 10:01 1m 33s master
master
November 17, 2023 10:01 1m 33s
formatting CI #142: Commit e25f50f pushed by forked-from-1kasper
November 16, 2023 13:05 1m 29s master
master
November 16, 2023 13:05 1m 29s
lemmas CI #141: Commit fb39839 pushed by forked-from-1kasper
November 15, 2023 13:46 2m 41s master
master
November 15, 2023 13:46 2m 41s
∞-group structure of Ωⁿ(A, a) & minor lemmas & example CI #140: Commit 84cd9ec pushed by forked-from-1kasper
November 14, 2023 14:52 2m 26s master
master
November 14, 2023 14:52 2m 26s
revΩ & comΩ & extend subscript/superscript syntax CI #139: Commit 1aa4830 pushed by forked-from-1kasper
November 13, 2023 13:07 2m 22s master
master
November 13, 2023 13:07 2m 22s
recComMapΩ & idfunRecΩ & mapExtΩ & simple lemmas CI #138: Commit be5cd3b pushed by forked-from-1kasper
November 12, 2023 15:30 1m 22s master
master
November 12, 2023 15:30 1m 22s