Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162258: completed by jcommelin
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #15369: completed by jcommelin
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152064: completed by jcommelin
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162257: completed by jcommelin
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152063: completed by jcommelin
1s
1s
chore: tighten down public/exposed API of AlgebraicClosure splice-bot #15458: Pull request #38329 created by jcommelin
1s
1s
chore: tighten down public/exposed API of AlgebraicClosure bot fix style #207526: Pull request #38329 created by jcommelin
8s
8s
chore: tighten down public/exposed API of AlgebraicClosure Label PR based on Comment #158273: Pull request #38329 created by jcommelin
5s
5s
chore: tighten down public/exposed API of AlgebraicClosure Label PR based on Comment #158272: Pull request #38329 submitted by jcommelin
5s
5s
chore: tighten down public/exposed API of AlgebraicClosure Add "ready-to-merge" and "delegated" label #235575: Pull request #38329 submitted by jcommelin
1s
1s
chore: tighten down public/exposed API of AlgebraicClosure Maintainer merge #256228: Pull request #38329 created by jcommelin
9s
9s
chore: tighten down public/exposed API of AlgebraicClosure Maintainer merge #256227: Pull request #38329 submitted by jcommelin
1s
1s
chore: tighten down public/exposed API of AlgebraicClosure Add "ready-to-merge" and "delegated" label #235574: Pull request #38329 created by jcommelin
1s
1s
chore: tighten down public/exposed API of AlgebraicClosure bot fix style #207525: Pull request #38329 submitted by jcommelin
8s
8s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162256: completed by kebekus
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152062: completed by kebekus
1s
1s
feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 4/5) bot fix style #207524: Issue comment #35316 (comment) created by kebekus
13s
13s
feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 4/5) Label PR based on Comment #158271: Issue comment #35316 (comment) created by kebekus
7s
7s
feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 4/5) Maintainer merge #256226: Issue comment #35316 (comment) created by kebekus
1s
1s
feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 4/5) Add "ready-to-merge" and "delegated" label #235573: Issue comment #35316 (comment) created by kebekus
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #15368: completed by jcommelin
Skipped
Skipped
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152061: completed by jcommelin
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #152060: completed by jcommelin
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162255: completed by jcommelin
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162254: completed by jcommelin
1s
1s