Skip to content

Actions: mo271/FormalBook

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
157 workflow runs
157 workflow runs

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_32: Lattice paths and determinants Compile blueprint #295: Pull request #144 synchronize by mmgorg
Action required mmgorg:lindstrom-gessel-viennot
mmgorg:lindstrom-gessel-viennot
Action required
Chapter_32: Lattice paths and determinants Compile blueprint #294: Pull request #144 opened by mmgorg
Action required mmgorg:lindstrom-gessel-viennot
mmgorg:lindstrom-gessel-viennot
Action required
Fix warnings (#143) Compile blueprint #293: Commit 5f67ecf pushed by mo271
1h 56m 25s main
main
1h 56m 25s
Fix warnings Compile blueprint #292: Pull request #143 opened by mo271
8m 54s fix_warnings
fix_warnings
8m 54s
bump to v4.34.0-rc2 (#142) Compile blueprint #291: Commit 30fab33 pushed by mo271
1h 57m 36s main
main
1h 57m 36s
bump to v4.34.0-rc2 Compile blueprint #290: Pull request #142 synchronize by mo271
6m 36s bump_v4.32.0-rc2
bump_v4.32.0-rc2
6m 36s
bump to v4.34.0-rc2 Compile blueprint #289: Pull request #142 opened by mo271
5m 53s bump_v4.32.0-rc2
bump_v4.32.0-rc2
5m 53s
Fill polynomial evaluation norm step in Chapter 06 (#137) Compile blueprint #288: Commit 1109a36 pushed by mo271
1h 40m 37s main
main
1h 40m 37s
Ch20: In Praise of Inequalities (#131) Compile blueprint #287: Commit 452a6ac pushed by mo271
37s main
main
37s
Bump actions/checkout from 6.0.2 to 7.0.1 (#141) Compile blueprint #286: Commit 108a82a pushed by mo271
1m 14s main
main
1m 14s
Fill two local arithmetic steps in Chapter 03 (#138) Compile blueprint #285: Commit 4b13c4e pushed by mo271
19s main
main
19s
Chapter 11: formalize Theorem 1 (the Sylvester–Gallai theorem) (#140) Compile blueprint #284: Commit c9dfeec pushed by mo271
46s main
main
46s
Bump actions/checkout from 6.0.2 to 7.0.1 Compile blueprint #283: Pull request #141 opened by dependabot Bot
10m 21s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
10m 21s
Chapter 11: formalize Theorem 1 (the Sylvester–Gallai theorem) Compile blueprint #282: Pull request #140 opened by Solarys431
9m 46s Solarys431:chapter11-sylvester-gallai
Solarys431:chapter11-sylvester-gallai
9m 46s
Fill two local arithmetic steps in Chapter 03 Compile blueprint #281: Pull request #138 opened by heathsanchez
10m 35s heathsanchez:fix-chapter03-local-arithmetic-omega
heathsanchez:fix-chapter03-local-arithmetic-omega
10m 35s
Fill polynomial evaluation norm step in Chapter 06 Compile blueprint #280: Pull request #137 opened by heathsanchez
10m 31s heathsanchez:fix-chapter06-polynomial-eval-norm-step
heathsanchez:fix-chapter06-polynomial-eval-norm-step
10m 31s
Bump actions/checkout from 6.0.2 to 7.0.0 Compile blueprint #279: Pull request #135 opened by dependabot Bot
9m 9s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
9m 9s
Bump leanprover/lean-action from 1.4.0 to 1.5.0 (#134) Compile blueprint #278: Commit 701731c pushed by mo271
2h 0m 48s main
main
2h 0m 48s
Bump leanprover/lean-action from 1.4.0 to 1.5.0 Compile blueprint #277: Pull request #134 opened by dependabot Bot
13m 45s dependabot/github_actions/leanprover/lean-action-1.5.0
dependabot/github_actions/leanprover/lean-action-1.5.0
13m 45s
Ch20: In Praise of Inequalities Compile blueprint #276: Pull request #131 synchronize by subfish-zhou
6m 8s subfish-zhou:pr/ch20
subfish-zhou:pr/ch20
6m 8s
Ch20: In Praise of Inequalities Compile blueprint #275: Pull request #131 synchronize by subfish-zhou
6m 24s subfish-zhou:pr/ch20
subfish-zhou:pr/ch20
6m 24s
Ch30: Three famous theorems on finite sets (#132) Compile blueprint #274: Commit ae36c65 pushed by mo271
2h 3m 20s main
main
2h 3m 20s
Ch28: Three applications of Euler's formula (#130) Compile blueprint #273: Commit 4e9504b pushed by mo271
1m 3s main
main
1m 3s
Ch20: In Praise of Inequalities Compile blueprint #272: Pull request #131 synchronize by subfish-zhou
5m 24s subfish-zhou:pr/ch20
subfish-zhou:pr/ch20
5m 24s
Ch30: Three famous theorems on finite sets Compile blueprint #271: Pull request #132 synchronize by subfish-zhou
5m 27s subfish-zhou:pr/ch30
subfish-zhou:pr/ch30
5m 27s