Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
608,381 workflow run results
608,381 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - fix: rewrite update_dependencies_zulip action Add "ready-to-merge" and "delegated" label from comment #47408: Issue comment #14630 (comment) created by kim-em
July 10, 2024 22:15 17s
July 10, 2024 22:15 17s
[Merged by Bors] - chore (AlgebraicGeometry.PrimeSpectrum): move results not requiring Zariski topology to files in RingTheory Maintainer merge (comment) #51607: Issue comment #14631 (comment) created by leanprover-bot
July 10, 2024 22:14 2s
July 10, 2024 22:14 2s
[Merged by Bors] - chore (AlgebraicGeometry.PrimeSpectrum): move results not requiring Zariski topology to files in RingTheory Label PR based on Comment #28097: Issue comment #14631 (comment) created by leanprover-bot
July 10, 2024 22:14 2s
July 10, 2024 22:14 2s
[Merged by Bors] - chore (AlgebraicGeometry.PrimeSpectrum): move results not requiring Zariski topology to files in RingTheory Add "ready-to-merge" and "delegated" label from comment #47407: Issue comment #14631 (comment) created by leanprover-bot
July 10, 2024 22:14 2s
July 10, 2024 22:14 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #64202: completed by mans0954
July 10, 2024 22:13 2s
July 10, 2024 22:13 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4073: completed by mans0954
July 10, 2024 22:13 2s
July 10, 2024 22:13 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4072: completed by eric-wieser
July 10, 2024 22:13 2s
July 10, 2024 22:13 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #64201: completed by eric-wieser
July 10, 2024 22:13 2s
July 10, 2024 22:13 2s
Maintainer merge (review) Maintainer merge (review) #40587: submitted by eric-wieser
July 10, 2024 22:13 2s
July 10, 2024 22:13 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #35462: submitted by eric-wieser
July 10, 2024 22:13 2s
July 10, 2024 22:13 2s
Maintainer merge (review comment) Maintainer merge (review comment) #48492: created by eric-wieser
July 10, 2024 22:13 2s
July 10, 2024 22:13 2s
[Merged by Bors] - feat: more lemmas about List.dedup and other lattice operations lint and suggest #42387: Pull request #14282 synchronize by eric-wieser
July 10, 2024 22:12 49s eric-wieser/dedup-lemmas
eric-wieser/dedup-lemmas
July 10, 2024 22:12 49s
[Merged by Bors] - feat: more lemmas about List.dedup and other lattice operations Label New Contributors #20117: Pull request #14282 synchronize by eric-wieser
July 10, 2024 22:12 15s eric-wieser/dedup-lemmas
eric-wieser/dedup-lemmas
July 10, 2024 22:12 15s
[Merged by Bors] - feat: more lemmas about List.dedup and other lattice operations Post PR summary comment #6001: Pull request #14282 synchronize by eric-wieser
July 10, 2024 22:12 38s eric-wieser/dedup-lemmas
eric-wieser/dedup-lemmas
July 10, 2024 22:12 38s
golf continuous integration (mathlib forks) #112258: Commit 179ad54 pushed by eric-wieser
July 10, 2024 22:12 13s eric-wieser/dedup-lemmas
eric-wieser/dedup-lemmas
July 10, 2024 22:12 13s
golf continuous integration #105900: Commit 179ad54 pushed by eric-wieser
July 10, 2024 22:12 58m 5s eric-wieser/dedup-lemmas
eric-wieser/dedup-lemmas
July 10, 2024 22:12 58m 5s
oops continuous integration (mathlib forks) #112257: Commit 317e612 pushed by kim-em
July 10, 2024 22:12 10s nightly-testing
nightly-testing
July 10, 2024 22:12 10s
oops continuous integration #105899: Commit 317e612 pushed by kim-em
July 10, 2024 22:12 55m 44s nightly-testing
nightly-testing
July 10, 2024 22:12 55m 44s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #64200: completed by D-Thomine
July 10, 2024 22:10 2s
July 10, 2024 22:10 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #4071: completed by D-Thomine
July 10, 2024 22:10 2s
July 10, 2024 22:10 2s
Maintainer merge (review) Maintainer merge (review) #40585: edited by eric-wieser
July 10, 2024 22:10 2s
July 10, 2024 22:10 2s
Maintainer merge (review) Maintainer merge (review) #40586: submitted by eric-wieser
July 10, 2024 22:10 2s
July 10, 2024 22:10 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #35461: submitted by eric-wieser
July 10, 2024 22:10 3s
July 10, 2024 22:10 3s
Maintainer merge (review comment) Maintainer merge (review comment) #48491: created by eric-wieser
July 10, 2024 22:10 2s
July 10, 2024 22:10 2s
Maintainer merge (review comment) Maintainer merge (review comment) #48490: created by dupuisf
July 10, 2024 22:06 1s
July 10, 2024 22:06 1s