Skip to content

Actions: mo271/FormalBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
498 workflow runs
498 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Chapter 14: partial formalization of Cauchy's arm lemma and rigidity statements Lint Style #356: Pull request #161 opened by AItoBit
6s AItoBit:codex/chapter-14
AItoBit:codex/chapter-14
6s
Chapter 14: partial formalization of Cauchy's arm lemma and rigidity statements Compile blueprint #347: Pull request #161 opened by AItoBit
2m 27s AItoBit:codex/chapter-14
AItoBit:codex/chapter-14
2m 27s
Enhance Chapter 11 with new theorems and results Compile blueprint #346: Pull request #158 synchronize by AItoBit
8m 14s AItoBit:patch-5
AItoBit:patch-5
8m 14s
Enhance Chapter 11 with new theorems and results Lint Style #355: Pull request #158 synchronize by AItoBit
9s AItoBit:patch-5
AItoBit:patch-5
9s
Chapter 12: partial formalization of the slope problem Lint Style #354: Pull request #160 synchronize by AItoBit
10s AItoBit:patch-6
AItoBit:patch-6
10s
Chapter 12: partial formalization of the slope problem Compile blueprint #345: Pull request #160 synchronize by AItoBit
7m 58s AItoBit:patch-6
AItoBit:patch-6
7m 58s
Chapter 12: partial formalization of the slope problem Compile blueprint #344: Pull request #160 opened by AItoBit
3m 12s AItoBit:patch-6
AItoBit:patch-6
3m 12s
Chapter 12: partial formalization of the slope problem Lint Style #353: Pull request #160 opened by AItoBit
5s AItoBit:patch-6
AItoBit:patch-6
5s
Chapter 12: the slope problem (partial formalization) Compile blueprint #343: Pull request #159 opened by AItoBit
2m 22s AItoBit:chapter-12
AItoBit:chapter-12
2m 22s
Chapter 12: the slope problem (partial formalization) Lint Style #352: Pull request #159 opened by AItoBit
5s AItoBit:chapter-12
AItoBit:chapter-12
5s
Enhance Chapter 11 with new theorems and results Compile blueprint #342: Pull request #158 synchronize by AItoBit
2m 10s AItoBit:patch-5
AItoBit:patch-5
2m 10s
Enhance Chapter 11 with new theorems and results Lint Style #351: Pull request #158 synchronize by AItoBit
8s AItoBit:patch-5
AItoBit:patch-5
8s
feat: add Chapter 10 formalization on Hilbert’s third problem Compile blueprint #341: Pull request #157 synchronize by AItoBit
9m 35s AItoBit:patch-4
AItoBit:patch-4
9m 35s
feat: add Chapter 10 formalization on Hilbert’s third problem Lint Style #350: Pull request #157 synchronize by AItoBit
7s AItoBit:patch-4
AItoBit:patch-4
7s
Enhance Chapter 11 with new theorems and results Compile blueprint #340: Pull request #158 opened by AItoBit
1m 55s AItoBit:patch-5
AItoBit:patch-5
1m 55s
Enhance Chapter 11 with new theorems and results Lint Style #349: Pull request #158 opened by AItoBit
5s AItoBit:patch-5
AItoBit:patch-5
5s
feat: add Chapter 10 formalization on Hilbert’s third problem Compile blueprint #339: Pull request #157 synchronize by AItoBit
2m 47s AItoBit:patch-4
AItoBit:patch-4
2m 47s
feat: add Chapter 10 formalization on Hilbert’s third problem Lint Style #348: Pull request #157 synchronize by AItoBit
8s AItoBit:patch-4
AItoBit:patch-4
8s
Refactor imports and enhance Chapter 9 content Compile blueprint #338: Pull request #156 synchronize by AItoBit
8m 21s AItoBit:patch-3
AItoBit:patch-3
8m 21s
Refactor imports and enhance Chapter 9 content Lint Style #347: Pull request #156 synchronize by AItoBit
27s AItoBit:patch-3
AItoBit:patch-3
27s
feat: add Chapter 10 formalization on Hilbert’s third problem Lint Style #346: Pull request #157 opened by AItoBit
7s AItoBit:patch-4
AItoBit:patch-4
7s
feat: add Chapter 10 formalization on Hilbert’s third problem Compile blueprint #337: Pull request #157 opened by AItoBit
2m 37s AItoBit:patch-4
AItoBit:patch-4
2m 37s
Bump Lean version to v4.35.0 rc3 (#155) Lint Style #345: Commit 006fa64 pushed by mo271
7s main
main
7s
Bump Lean version to v4.35.0 rc3 (#155) Compile blueprint #336: Commit 006fa64 pushed by mo271
1h 1m 6s main
main
1h 1m 6s
Refactor imports and enhance Chapter 9 content Lint Style #344: Pull request #156 opened by AItoBit
8s AItoBit:patch-3
AItoBit:patch-3
8s