Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Commit Verification (workflow_run) Commit Verification (workflow_run) #47341: completed by wwylele
9s
9s
fix(Order/Fin): fix the type of toEmbedding lemma Check PR titles #42479: Pull request #44463 edited by wwylele
1m 29s
1m 29s
fix(Order/Fin): fix the type of toEmbedding lemma Zulip emoji reconcile #42810: Pull request #44463 unlabeled by wwylele
15s
15s
Zulip emoji reconcile Zulip emoji reconcile #42809: requested by wwylele
8s
8s
fix(Order/Fin): fix the type of toEmbedding lemma Run pre-commit and in-place update PR on push #99213: Pull request #44463 synchronize by wwylele
29s wwylele:succAboveOrderEmb-toEmbedding
wwylele:succAboveOrderEmb-toEmbedding
29s
fix(Order/Fin): fix the type of toEmbedding lemma Commit Verification #68343: Pull request #44463 synchronize by wwylele
45s wwylele:succAboveOrderEmb-toEmbedding
wwylele:succAboveOrderEmb-toEmbedding
45s
fix(Order/Fin): fix the type of toEmbedding lemma lint and suggest #209272: Pull request #44463 synchronize by wwylele
2m 25s wwylele:succAboveOrderEmb-toEmbedding
wwylele:succAboveOrderEmb-toEmbedding
2m 25s
fix(Order/Fin): fix the type of toEmbedding lemma continuous integration (mathlib forks) #330176: Pull request #44463 synchronize by wwylele
In progress
In progress
fix(Order/Fin): fix the type of toEmbedding lemma Post PR summary comment #186447: Pull request #44463 synchronize by wwylele
1m 19s
1m 19s
Dependent Issues Dependent Issues #117476: Scheduled
1m 55s master
master
1m 55s
Update Mathlib Dependencies Update Mathlib Dependencies #19672: Scheduled
1m 25s master
master
1m 25s
Merge conflicts Merge conflicts #113458: Scheduled
5m 24s master
master
5m 24s
Zulip emoji reconcile Zulip emoji reconcile #42808: Scheduled
26m 25s master
master
26m 25s
Declarations diff (post-build) Declarations diff (post-build) #30469: completed by kedlaya
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #42807: completed by kedlaya
11s
11s
Export workflow telemetry Export workflow telemetry #76514: completed by kedlaya
7s
7s
Commit Verification (workflow_run) Commit Verification (workflow_run) #47340: completed by kedlaya
7s
7s
feat(FieldTheory): Artin-Schreier extensions of fields Commit Verification #68342: Pull request #43947 synchronize by kedlaya
41s kedlaya:artin-schreier-extension
kedlaya:artin-schreier-extension
41s
feat(FieldTheory): Artin-Schreier extensions of fields lint and suggest #209271: Pull request #43947 synchronize by kedlaya
2m 45s kedlaya:artin-schreier-extension
kedlaya:artin-schreier-extension
2m 45s
feat(FieldTheory): Artin-Schreier extensions of fields Run pre-commit and in-place update PR on push #99212: Pull request #43947 synchronize by kedlaya
27s kedlaya:artin-schreier-extension
kedlaya:artin-schreier-extension
27s
Zulip emoji reconcile Zulip emoji reconcile #42806: requested by kedlaya
10s
10s
feat(FieldTheory): Artin-Schreier extensions of fields continuous integration (mathlib forks) #330175: Pull request #43947 synchronize by kedlaya
16m 5s
16m 5s
feat(FieldTheory): Artin-Schreier extensions of fields Post PR summary comment #186446: Pull request #43947 synchronize by kedlaya
1m 14s
1m 14s
olean report (workflow_run) olean report (workflow_run) #26610: completed by wwylele
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #249614: completed by wwylele
1s
1s