Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
570,490 workflow run results
570,490 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Monitor Dependency Update Failures Monitor Dependency Update Failures #2795: completed by joelriou
July 5, 2024 13:10 2s
July 5, 2024 13:10 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62924: completed by joelriou
July 5, 2024 13:10 2s
July 5, 2024 13:10 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2794: completed by riccardobrasca
July 5, 2024 13:08 2s
July 5, 2024 13:08 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62923: completed by riccardobrasca
July 5, 2024 13:08 2s
July 5, 2024 13:08 2s
[Merged by Bors] - chore: Split RingTheory.Trace and RingTheory.Norm Post PR summary comment #5076: Pull request #14446 synchronize by riccardobrasca
July 5, 2024 13:08 41s RB/trace
RB/trace
July 5, 2024 13:08 41s
[Merged by Bors] - chore: Split RingTheory.Trace and RingTheory.Norm lint and suggest #41462: Pull request #14446 synchronize by riccardobrasca
July 5, 2024 13:08 53s RB/trace
RB/trace
July 5, 2024 13:08 53s
[Merged by Bors] - chore: Split RingTheory.Trace and RingTheory.Norm Label New Contributors #19192: Pull request #14446 synchronize by riccardobrasca
July 5, 2024 13:08 14s RB/trace
RB/trace
July 5, 2024 13:08 14s
ops continuous integration (mathlib forks) #110894: Commit d70303d pushed by riccardobrasca
July 5, 2024 13:08 10s RB/trace
RB/trace
July 5, 2024 13:08 10s
[Merged by Bors] - chore: Split RingTheory.Trace and RingTheory.Norm Post PR summary comment #5075: Pull request #14446 synchronize by riccardobrasca
July 5, 2024 13:07 39s RB/trace
RB/trace
July 5, 2024 13:07 39s
[Merged by Bors] - chore: Split RingTheory.Trace and RingTheory.Norm lint and suggest #41461: Pull request #14446 synchronize by riccardobrasca
July 5, 2024 13:07 1m 9s RB/trace
RB/trace
July 5, 2024 13:07 1m 9s
[Merged by Bors] - chore: Split RingTheory.Trace and RingTheory.Norm Label New Contributors #19191: Pull request #14446 synchronize by riccardobrasca
July 5, 2024 13:07 10s RB/trace
RB/trace
July 5, 2024 13:07 10s
do also this continuous integration #104633: Commit 4640c14 pushed by riccardobrasca
July 5, 2024 13:07 1m 10s RB/trace
RB/trace
July 5, 2024 13:07 1m 10s
do also this continuous integration (mathlib forks) #110893: Commit 4640c14 pushed by riccardobrasca
July 5, 2024 13:07 12s RB/trace
RB/trace
July 5, 2024 13:07 12s
Maintainer merge (review comment) Maintainer merge (review comment) #47656: created by emilyriehl
July 5, 2024 13:07 2s
July 5, 2024 13:07 2s
Maintainer merge (review) Maintainer merge (review) #39934: submitted by emilyriehl
July 5, 2024 13:07 2s
July 5, 2024 13:07 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #34916: submitted by emilyriehl
July 5, 2024 13:07 3s
July 5, 2024 13:07 3s
Merge conflicts Merge conflicts #53316: Scheduled
July 5, 2024 13:06 22s master
master
July 5, 2024 13:06 22s
[Merged by Bors] - feat (Category Theory): redefine and extend mates lint and suggest #41460: Pull request #13840 synchronize by emilyriehl
July 5, 2024 13:06 1m 18s mates
mates
July 5, 2024 13:06 1m 18s
[Merged by Bors] - feat (Category Theory): redefine and extend mates Label New Contributors #19190: Pull request #13840 synchronize by emilyriehl
July 5, 2024 13:06 11s mates
mates
July 5, 2024 13:06 11s
[Merged by Bors] - feat (Category Theory): redefine and extend mates Post PR summary comment #5074: Pull request #13840 synchronize by emilyriehl
July 5, 2024 13:06 46s mates
mates
July 5, 2024 13:06 46s
consolidation into fewer lines continuous integration (mathlib forks) #110892: Commit 943fee5 pushed by emilyriehl
July 5, 2024 13:06 10s mates
mates
July 5, 2024 13:06 10s
Update Mathlib Dependencies Update Mathlib Dependencies #539: Scheduled
July 5, 2024 13:05 49s master
master
July 5, 2024 13:05 49s
doc: add reassoc docstring continuous integration (mathlib forks) #110891: Commit e8149e6 pushed by kbuzzard
July 5, 2024 13:04 11s kbuzzard-reassoc-docstring
kbuzzard-reassoc-docstring
July 5, 2024 13:04 11s
wip continuous integration #104630: Commit 65df6c9 pushed by joelriou
July 5, 2024 13:03 6m 39s localization-addequiv
localization-addequiv
July 5, 2024 13:03 6m 39s
wip continuous integration (mathlib forks) #110890: Commit 65df6c9 pushed by joelriou
July 5, 2024 13:03 11s localization-addequiv
localization-addequiv
July 5, 2024 13:03 11s