Skip to content

Actions: mo271/FormalBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
366 workflow runs
366 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
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
Ch30: Three famous theorems on finite sets (#132) Lint Style #283: Commit ae36c65 pushed by mo271
5s main
main
5s
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) Lint Style #282: Commit 4e9504b pushed by mo271
6s main
main
6s
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
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 Compile blueprint #271: Pull request #132 synchronize by subfish-zhou
5m 27s subfish-zhou:pr/ch30
subfish-zhou:pr/ch30
5m 27s
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
Ch20: In Praise of Inequalities Lint Style #279: Pull request #131 synchronize by subfish-zhou
7s subfish-zhou:pr/ch20
subfish-zhou:pr/ch20
7s
Ch20: In Praise of Inequalities Compile blueprint #270: Pull request #131 synchronize by subfish-zhou
9m 13s subfish-zhou:pr/ch20
subfish-zhou:pr/ch20
9m 13s
Ch28: Three applications of Euler's formula Compile blueprint #269: Pull request #130 synchronize by subfish-zhou
5m 57s subfish-zhou:pr/ch28
subfish-zhou:pr/ch28
5m 57s
Ch28: Three applications of Euler's formula Lint Style #278: Pull request #130 synchronize by subfish-zhou
8s subfish-zhou:pr/ch28
subfish-zhou:pr/ch28
8s
Ch28: Three applications of Euler's formula Compile blueprint #268: Pull request #130 synchronize by subfish-zhou
5m 43s subfish-zhou:pr/ch28
subfish-zhou:pr/ch28
5m 43s
Ch28: Three applications of Euler's formula Lint Style #277: Pull request #130 synchronize by subfish-zhou
6s subfish-zhou:pr/ch28
subfish-zhou:pr/ch28
6s
Ch28: Three applications of Euler's formula Lint Style #276: Pull request #130 synchronize by subfish-zhou
7s subfish-zhou:pr/ch28
subfish-zhou:pr/ch28
7s