Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,531,748 workflow runs
1,531,748 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #91281: completed by Vierkantor
9s
9s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... .github/workflows/zulip_emoji_labelling.yaml #35728: Pull request #33584 labeled by leanprover-community-mathlib4-bot
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #91280: completed by Vierkantor
9s
9s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #97035: completed by Vierkantor
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #97034: completed by Vierkantor
2s
2s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... Maintainer merge #190654: Pull request #33584 created by Vierkantor
1s
1s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... Add "ready-to-merge" and "delegated" label #174458: Pull request #33584 created by Vierkantor
15s
15s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... bot fix style #141964: Pull request #33584 created by Vierkantor
14s
14s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... Add "ready-to-merge" and "delegated" label #174457: Pull request #33584 submitted by Vierkantor
10s
10s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... bot fix style #141963: Pull request #33584 submitted by Vierkantor
13s
13s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... Maintainer merge #190653: Pull request #33584 submitted by Vierkantor
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #91279: completed by Vierkantor
25s
25s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #97033: completed by Vierkantor
1s
1s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... Maintainer merge #190652: Pull request #33584 submitted by Vierkantor
1s
1s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... bot fix style #141962: Pull request #33584 submitted by Vierkantor
14s
14s
fix(Tactic/TacticAnalysis): analyze tactics inside have ... := by ... Add "ready-to-merge" and "delegated" label #174456: Pull request #33584 submitted by Vierkantor
8s
8s
feat: add IsNowhereDense helpers (#32740) Run pre-commit and in-place update PR on push #28495: Commit 62a7be5 pushed by mathlib4-update-dependencies-bot
22s update-dependencies-bot-use-only
update-dependencies-bot-use-only
22s
feat: add IsNowhereDense helpers (#32740) continuous integration #207703: Commit 62a7be5 pushed by mathlib4-update-dependencies-bot
Queued update-dependencies-bot-use-only
update-dependencies-bot-use-only
Queued
Merge conflicts Merge conflicts #100922: Scheduled
In progress master
master
In progress
feat(RingTheory/Polynomial/GaussNorm): absolute value Run pre-commit and in-place update PR on push #28494: Pull request #33736 synchronize by fbarroero
21s fbarroero:fbarroero-gaussNorm_abv
fbarroero:fbarroero-gaussNorm_abv
21s
feat(RingTheory/Polynomial/GaussNorm): absolute value Commit Verification #175: Pull request #33736 synchronize by fbarroero
40s fbarroero:fbarroero-gaussNorm_abv
fbarroero:fbarroero-gaussNorm_abv
40s
feat(RingTheory/Polynomial/GaussNorm): absolute value lint and suggest #141101: Pull request #33736 synchronize by fbarroero
2m 29s fbarroero:fbarroero-gaussNorm_abv
fbarroero:fbarroero-gaussNorm_abv
2m 29s
feat(RingTheory/Polynomial/GaussNorm): absolute value Post PR summary comment #116320: Pull request #33736 synchronize by fbarroero
1m 21s
1m 21s
feat(RingTheory/Polynomial/GaussNorm): absolute value continuous integration (mathlib forks) #260480: Pull request #33736 synchronize by fbarroero
Queued
Queued
Update Mathlib Dependencies Update Mathlib Dependencies #13789: Scheduled
1m 5s master
master
1m 5s