Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,522,809 workflow runs
1,522,809 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues Dependent Issues #102904: Scheduled
In progress master
master
In progress
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #166416: completed by mathlib-bors bot
1s
1s
Update Mathlib Dependencies Update Mathlib Dependencies #13704: Scheduled
2m 3s master
master
2m 3s
Weekly Technical Debt Counters Weekly Technical Debt Counters #85: Scheduled
50s master
master
50s
Late importers report Late importers report #148: Scheduled
30s master
master
30s
Weekly Long File Report Weekly Long File Report #33: Scheduled
17s master
master
17s
chore(Data): remove unnecessary @[expose] from public sections (#33574) continuous integration (staging) #20739: Commit 89b277e pushed by mathlib-bors bot
In progress staging
staging
In progress
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #88917: completed by mathlib-bors bot
8s
8s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #94521: completed by mathlib-bors bot
1s
1s
[Merged by Bors] - chore(Analysis/Calculus): remove unnecessary @[expose] from public sections Check PR titles #5934: Pull request #33565 edited by mathlib-bors bot
1s
1s
[Merged by Bors] - chore(Analysis/Calculus): remove unnecessary @[expose] from public sections bot fix style #139450: Issue comment #33565 (comment) created by mathlib-bors bot
8s
8s
[Merged by Bors] - chore(Analysis/Calculus): remove unnecessary @[expose] from public sections Add "ready-to-merge" and "delegated" label #172094: Issue comment #33565 (comment) created by mathlib-bors bot
9s
9s
[Merged by Bors] - chore(Analysis/Calculus): remove unnecessary @[expose] from public sections Maintainer merge #188140: Issue comment #33565 (comment) created by mathlib-bors bot
1s
1s
[Merged by Bors] - chore(Analysis/Calculus): remove unnecessary @[expose] from public sections Label PR based on Comment #104192: Issue comment #33565 (comment) created by mathlib-bors bot
5s
5s
[Merged by Bors] - chore(Analysis/Calculus): remove unnecessary @[expose] from public sections Add "closed-pr" emoji in Zulip #7937: Pull request #33565 closed by mathlib-bors bot
5s
5s
chore(Analysis/Calculus): remove unnecessary @[expose] from public se… continuous integration #207575: Commit d55eaa8 pushed by mathlib-bors bot
16m 49s master
master
16m 49s
chore(Analysis/Calculus): remove unnecessary @[expose] from public se… Zulip emoji merge update #7979: Commit d55eaa8 pushed by mathlib-bors bot
55s master
master
55s
Merge conflicts Merge conflicts #100648: Scheduled
23s master
master
23s
Dependent Issues Dependent Issues #102903: Scheduled
8m 1s master
master
8m 1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #88916: completed by leanprover-community-mathlib4-bot
8s
8s
chore: update Mathlib dependencies 2026-01-05 .github/workflows/zulip_emoji_labelling.yaml #35147: Pull request #33566 labeled by leanprover-community-mathlib4-bot
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #94520: completed by leanprover-community-mathlib4-bot
1s
1s
Monitor Dependency Update Failures Monitor Dependency Update Failures #9574: completed by mathlib4-update-dependencies-bot
24s
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #166415: completed by mathlib4-update-dependencies-bot
1s
1s
chore: update Mathlib dependencies 2026-01-05 Maintainer merge #188139: Issue comment #33566 (comment) created by leanprover-community-mathlib4-bot
Skipped
Skipped