Skip to content

Actions: mo271/FormalBook

Actions

Lint Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
158 workflow runs
158 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 Lint Style #304: Pull request #144 synchronize by mmgorg
Action required mmgorg:lindstrom-gessel-viennot
mmgorg:lindstrom-gessel-viennot
Action required
Chapter_32: Lattice paths and determinants Lint Style #303: Pull request #144 opened by mmgorg
-1s mmgorg:lindstrom-gessel-viennot
mmgorg:lindstrom-gessel-viennot
-1s
Fix warnings (#143) Lint Style #302: Commit 5f67ecf pushed by mo271
8s main
main
8s
Fix warnings Lint Style #301: Pull request #143 opened by mo271
6s fix_warnings
fix_warnings
6s
bump to v4.34.0-rc2 (#142) Lint Style #300: Commit 30fab33 pushed by mo271
10s main
main
10s
bump to v4.34.0-rc2 Lint Style #299: Pull request #142 synchronize by mo271
6s bump_v4.32.0-rc2
bump_v4.32.0-rc2
6s
bump to v4.34.0-rc2 Lint Style #298: Pull request #142 opened by mo271
6s bump_v4.32.0-rc2
bump_v4.32.0-rc2
6s
Fill polynomial evaluation norm step in Chapter 06 (#137) Lint Style #297: Commit 1109a36 pushed by mo271
9s main
main
9s
Ch20: In Praise of Inequalities (#131) Lint Style #296: Commit 452a6ac pushed by mo271
9s main
main
9s
Bump actions/checkout from 6.0.2 to 7.0.1 (#141) Lint Style #295: Commit 108a82a pushed by mo271
7s main
main
7s
Fill two local arithmetic steps in Chapter 03 (#138) Lint Style #294: Commit 4b13c4e pushed by mo271
7s main
main
7s
Chapter 11: formalize Theorem 1 (the Sylvester–Gallai theorem) (#140) Lint Style #293: Commit c9dfeec pushed by mo271
8s main
main
8s
Bump actions/checkout from 6.0.2 to 7.0.1 Lint Style #292: Pull request #141 opened by dependabot Bot
6s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
6s
Chapter 11: formalize Theorem 1 (the Sylvester–Gallai theorem) Lint Style #291: Pull request #140 opened by Solarys431
6s Solarys431:chapter11-sylvester-gallai
Solarys431:chapter11-sylvester-gallai
6s
Fill two local arithmetic steps in Chapter 03 Lint Style #290: Pull request #138 opened by heathsanchez
7s heathsanchez:fix-chapter03-local-arithmetic-omega
heathsanchez:fix-chapter03-local-arithmetic-omega
7s
Fill polynomial evaluation norm step in Chapter 06 Lint Style #289: Pull request #137 opened by heathsanchez
6s heathsanchez:fix-chapter06-polynomial-eval-norm-step
heathsanchez:fix-chapter06-polynomial-eval-norm-step
6s
Bump actions/checkout from 6.0.2 to 7.0.0 Lint Style #288: Pull request #135 opened by dependabot Bot
7s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
7s
Bump leanprover/lean-action from 1.4.0 to 1.5.0 (#134) Lint Style #287: Commit 701731c pushed by mo271
6s main
main
6s
Bump leanprover/lean-action from 1.4.0 to 1.5.0 Lint Style #286: Pull request #134 opened by dependabot Bot
5s dependabot/github_actions/leanprover/lean-action-1.5.0
dependabot/github_actions/leanprover/lean-action-1.5.0
5s
Ch20: In Praise of Inequalities Lint Style #285: Pull request #131 synchronize by subfish-zhou
8s subfish-zhou:pr/ch20
subfish-zhou:pr/ch20
8s
Ch20: In Praise of Inequalities Lint Style #284: Pull request #131 synchronize by subfish-zhou
7s subfish-zhou:pr/ch20
subfish-zhou:pr/ch20
7s
Ch30: Three famous theorems on finite sets (#132) Lint Style #283: Commit ae36c65 pushed by mo271
5s main
main
5s
Ch28: Three applications of Euler's formula (#130) Lint Style #282: Commit 4e9504b pushed by mo271
6s main
main
6s
Ch20: In Praise of Inequalities Lint Style #281: Pull request #131 synchronize by subfish-zhou
7s subfish-zhou:pr/ch20
subfish-zhou:pr/ch20
7s
Ch30: Three famous theorems on finite sets Lint Style #280: Pull request #132 synchronize by subfish-zhou
7s subfish-zhou:pr/ch30
subfish-zhou:pr/ch30
7s