Skip to content

Actions: rzrn/ground_zero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

4.25.2 → 4.26.0 CI #259: Commit c661db6 pushed by rzrn
1m 27s master
master
1m 27s
4.25.1 → 4.25.2 CI #258: Commit a5faebe pushed by rzrn
1m 29s master
master
1m 29s
4.25.0 → 4.25.1 CI #257: Commit 91a7bb0 pushed by rzrn
1m 30s master
master
1m 30s
4.24.0 → 4.25.0 CI #256: Commit c5d7f74 pushed by rzrn
1m 31s master
master
1m 31s
4.23.0 → 4.24.0 CI #255: Commit 178f807 pushed by rzrn
1m 16s master
master
1m 16s
README.md: add related repos CI #254: Commit 6c2e3ae pushed by rzrn
1m 25s master
master
1m 25s
4.22.0 → 4.23.0 CI #253: Commit 84a3bdf pushed by rzrn
1m 24s master
master
1m 24s
GroundZero/Meta/HottTheory.lean: “hott instance” syntax CI #252: Commit 982efc4 pushed by rzrn
1m 18s master
master
1m 18s
4.21.0 → 4.22.0 CI #251: Commit b239083 pushed by rzrn
1m 25s master
master
1m 25s
GroundZero/Types/Precategory.lean: “idtoiso” properties CI #250: Commit d93a6ef pushed by rzrn
1m 20s master
master
1m 20s
5.5 CI #249: Commit 7aae5ec pushed by rzrn
1m 17s master
master
1m 17s
6.9 CI #248: Commit 0dc8bea pushed by rzrn
1m 26s master
master
1m 26s
5.12 (iii) CI #247: Commit f545ab2 pushed by rzrn
1m 21s master
master
1m 21s
GroundZero/Exercises/Chap5.lean: formatting CI #246: Commit 9c6b74b pushed by rzrn
1m 21s master
master
1m 21s
5.12 (i, ii) & 5.13 & 5.14 & 5.17 CI #245: Commit 7eba05a pushed by rzrn
1m 21s master
master
1m 21s
GroundZero/Types/W.lean: upload CI #244: Commit 79bc575 pushed by rzrn
1m 26s master
master
1m 26s
5.10 CI #243: Commit 85ef2a5 pushed by rzrn
1m 21s master
master
1m 21s
GroundZero/Algebra/Group/Homotopy.lean: 7.3.12 (HoTT book) CI #242: Commit 25102b9 pushed by rzrn
1m 19s master
master
1m 19s
GroundZero/Algebra/Group/Homotopy.lean: idElemDelim CI #241: Commit 82065dc pushed by rzrn
1m 17s master
master
1m 17s
GroundZero/Algebra/Group/Homotopy.lean: universal covering space CI #240: Commit e0da40d pushed by rzrn
1m 22s master
master
1m 22s
4.20.1 → 4.21.0 CI #239: Commit 6b68dc0 pushed by rzrn
1m 31s master
master
1m 31s
4.20.0 → 4.20.1 CI #238: Commit 8e4d1e2 pushed by rzrn
1m 19s master
master
1m 19s
4.19.0 → 4.20.0 CI #237: Commit 69d7752 pushed by rzrn
1m 26s master
master
1m 26s
GroundZero/Meta/HottTheory.lean: “hott%” macro CI #236: Commit 13d330c pushed by rzrn
1m 17s master
master
1m 17s
4.18.0 → 4.19.0 CI #235: Commit f653acf pushed by rzrn
1m 22s master
master
1m 22s