Skip to content

Actions: mo271/FormalBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
403 workflow runs
403 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 11: formalize Theorem 1 (the Sylvester–Gallai theorem) (#140) Lint Style #293: Commit c9dfeec pushed by mo271
8s main
main
8s
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
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
github_actions in /. - Update #1498552660 Dependabot Updates #25: by dependabot Bot
38s main
main
38s
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
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 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 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
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 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
github_actions in /. - Update #1442876493 Dependabot Updates #24: by dependabot Bot
22s main
main
22s
github_actions in /. - Update #1392408645 Dependabot Updates #23: by dependabot Bot
27s main
main
27s
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 (#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
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
github_actions in /. - Update #1343871170 Dependabot Updates #22: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #1302725084 Dependabot Updates #21: by dependabot Bot
26s main
main
26s
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 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
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