Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
756,528 workflow run results
756,528 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #63217: Scheduled
October 24, 2024 02:40 2m 18s master
master
October 24, 2024 02:40 2m 18s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #93467: completed by erdOne
October 24, 2024 02:39 2s
October 24, 2024 02:39 2s
bot fix style (review comment) bot fix style (review comment) #9056: created by tb65536
October 24, 2024 02:35 2s
October 24, 2024 02:35 2s
Maintainer merge (review comment) Maintainer merge (review comment) #64338: created by tb65536
October 24, 2024 02:35 2s
October 24, 2024 02:35 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #7239: created by tb65536
October 24, 2024 02:35 2s
October 24, 2024 02:35 2s
bot fix style (review) bot fix style (review) #6556: submitted by tb65536
October 24, 2024 02:35 3s
October 24, 2024 02:35 3s
Maintainer merge (review) Maintainer merge (review) #52151: submitted by tb65536
October 24, 2024 02:35 3s
October 24, 2024 02:35 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46912: submitted by tb65536
October 24, 2024 02:35 3s
October 24, 2024 02:35 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #93466: completed by erdOne
October 24, 2024 02:32 2s
October 24, 2024 02:32 2s
[Merged by Bors] - feat(AlgebraicGeometry): define immersions Label New Contributors #40097: Pull request #18154 synchronize by erdOne
October 24, 2024 02:32 11s erd1/immersion
erd1/immersion
October 24, 2024 02:32 11s
[Merged by Bors] - feat(AlgebraicGeometry): define immersions lint and suggest #62341: Pull request #18154 synchronize by erdOne
October 24, 2024 02:32 1m 10s erd1/immersion
erd1/immersion
October 24, 2024 02:32 1m 10s
[Merged by Bors] - feat(AlgebraicGeometry): define immersions Post PR summary comment #25952: Pull request #18154 synchronize by erdOne
October 24, 2024 02:32 50s erd1/immersion
erd1/immersion
October 24, 2024 02:32 50s
Update Mathlib.lean continuous integration #134921: Commit 15a3b87 pushed by erdOne
October 24, 2024 02:32 6m 52s erd1/immersion
erd1/immersion
October 24, 2024 02:32 6m 52s
Update Mathlib.lean continuous integration (mathlib forks) #143549: Commit 15a3b87 pushed by erdOne
October 24, 2024 02:32 9s erd1/immersion
erd1/immersion
October 24, 2024 02:32 9s
[Merged by Bors] - feat(AlgebraicGeometry): define immersions Label New Contributors #40096: Pull request #18154 opened by erdOne
October 24, 2024 02:32 11s erd1/immersion
erd1/immersion
October 24, 2024 02:32 11s
[Merged by Bors] - feat(AlgebraicGeometry): define immersions lint and suggest #62340: Pull request #18154 opened by erdOne
October 24, 2024 02:32 1m 25s erd1/immersion
erd1/immersion
October 24, 2024 02:32 1m 25s
[Merged by Bors] - feat(AlgebraicGeometry): define immersions Autolabel PRs #1443: Pull request #18154 opened by erdOne
October 24, 2024 02:32 54s erd1/immersion
erd1/immersion
October 24, 2024 02:32 54s
[Merged by Bors] - feat(AlgebraicGeometry): define immersions Post PR summary comment #25951: Pull request #18154 opened by erdOne
October 24, 2024 02:32 46s erd1/immersion
erd1/immersion
October 24, 2024 02:32 46s
feat(AlgebraicGeometry): define immersions continuous integration #134920: Commit 65bd0b6 pushed by erdOne
October 24, 2024 02:32 44s erd1/immersion
erd1/immersion
October 24, 2024 02:32 44s
feat(AlgebraicGeometry): define immersions continuous integration (mathlib forks) #143548: Commit 65bd0b6 pushed by erdOne
October 24, 2024 02:32 11s erd1/immersion
erd1/immersion
October 24, 2024 02:32 11s
Update Mathlib Dependencies Update Mathlib Dependencies #3191: Scheduled
October 24, 2024 02:27 1m 0s master
master
October 24, 2024 02:27 1m 0s
Dependent Issues Dependent Issues #64307: Scheduled
October 24, 2024 02:24 4m 10s master
master
October 24, 2024 02:24 4m 10s
Merge conflicts Merge conflicts #63216: Scheduled
October 24, 2024 02:12 10m 26s master
master
October 24, 2024 02:12 10m 26s
Close stale issues and PRs Close stale issues and PRs #8: Scheduled
October 24, 2024 01:58 12s master
master
October 24, 2024 01:58 12s
[Merged by Bors] - feat: Matrices over finite free modules are finite modules Maintainer merge (comment) #66761: Issue comment #18098 (comment) created by mathlib4-dependent-issues-bot
October 24, 2024 01:49 1s
October 24, 2024 01:49 1s