Skip to content

Actions: mo271/FormalBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
313 workflow runs
313 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Formalized finite Kakeya problem (#128) Compile blueprint #251: Commit 87d6767 pushed by mo271
14m 49s main
main
14m 49s
Formalized finite Kakeya problem (#128) Lint Style #260: Commit 87d6767 pushed by mo271
6s main
main
6s
Formalized finite Kakeya problem Lint Style #259: Pull request #128 opened by madeve-unipi
7s madeve-unipi:chapter35
madeve-unipi:chapter35
7s
Formalized finite Kakeya problem Compile blueprint #250: Pull request #128 opened by madeve-unipi
5m 30s madeve-unipi:chapter35
madeve-unipi:chapter35
5m 30s
Proved Chapter 43 (minus Borsuk-Ulam) (#126) Compile blueprint #249: Commit e158786 pushed by mo271
54m 49s main
main
54m 49s
Proved Chapter 43 (minus Borsuk-Ulam) (#126) Lint Style #258: Commit e158786 pushed by mo271
5s main
main
5s
Done main proofs for Chapter 29 (missing second and third proofs of f… Compile blueprint #248: Commit 1c57c33 pushed by mo271
19s main
main
19s
Done main proofs for Chapter 29 (missing second and third proofs of f… Lint Style #257: Commit 1c57c33 pushed by mo271
8s main
main
8s
Bump actions/checkout from 6.0.1 to 6.0.2 (#124) Compile blueprint #247: Commit e77c934 pushed by mo271
1m 33s main
main
1m 33s
Bump actions/checkout from 6.0.1 to 6.0.2 (#124) Lint Style #256: Commit e77c934 pushed by mo271
7s main
main
7s
Bump leanprover/lean-action from 1.3.0 to 1.4.0 (#123) Lint Style #255: Commit 8144625 pushed by mo271
7s main
main
7s
Bump leanprover/lean-action from 1.3.0 to 1.4.0 (#123) Compile blueprint #246: Commit 8144625 pushed by mo271
15s main
main
15s
Add partial solution to problem 1.4 (#122) Lint Style #254: Commit d7e4a73 pushed by mo271
5s main
main
5s
Add partial solution to problem 1.4 (#122) Compile blueprint #245: Commit d7e4a73 pushed by mo271
26s main
main
26s
feat(Chapter_02): prove all remaining theorems (#111) Compile blueprint #244: Commit 48320c7 pushed by mo271
43s main
main
43s
feat(Chapter_02): prove all remaining theorems (#111) Lint Style #253: Commit 48320c7 pushed by mo271
6s main
main
6s
Done main proofs for Chapter 29 (missing second and third proofs of first statement) Compile blueprint #243: Pull request #127 opened by madeve-unipi
6m 2s madeve-unipi:chapter29_proof
madeve-unipi:chapter29_proof
6m 2s
Done main proofs for Chapter 29 (missing second and third proofs of first statement) Lint Style #252: Pull request #127 opened by madeve-unipi
8s madeve-unipi:chapter29_proof
madeve-unipi:chapter29_proof
8s
Proved Chapter 43 (minus Borsuk-Ulam) Compile blueprint #242: Pull request #126 synchronize by madeve-unipi
4m 36s madeve-unipi:main
madeve-unipi:main
4m 36s
Proved Chapter 43 (minus Borsuk-Ulam) Lint Style #251: Pull request #126 synchronize by madeve-unipi
8s madeve-unipi:main
madeve-unipi:main
8s
Proved Chapter 43 (minus Borsuk-Ulam) Compile blueprint #241: Pull request #126 synchronize by madeve-unipi
5m 21s madeve-unipi:main
madeve-unipi:main
5m 21s
Proved Chapter 43 (minus Borsuk-Ulam) Lint Style #250: Pull request #126 synchronize by madeve-unipi
6s madeve-unipi:main
madeve-unipi:main
6s
Proved Chapter 43 (minus Borsuk-Ulam) Lint Style #249: Pull request #126 opened by madeve-unipi
6s madeve-unipi:main
madeve-unipi:main
6s
Proved Chapter 43 (minus Borsuk-Ulam) Compile blueprint #240: Pull request #126 opened by madeve-unipi
2m 47s madeve-unipi:main
madeve-unipi:main
2m 47s
Proved Chapter 43 (minus Borsuk-Ulam) Lint Style #248: Pull request #125 opened by madeve-unipi
9s madeve-unipi:main
madeve-unipi:main
9s