Skip to content

Actions: leanprover-community/mathlib4

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
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
golf
continuous integration (mathlib forks) #112258: Commit 179ad54 pushed by eric-wieser
July 10, 2024 22:12 13s 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
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
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
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