Skip to content

Actions: j-loreaux/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
Dependent Issues Dependent Issues #24421: Scheduled
7s master
master
7s
Merge conflicts Merge conflicts #25953: Scheduled
2s master
master
2s
Merge master to nightly Merge master to nightly #2960: Scheduled
2s master
master
2s
Dependent Issues Dependent Issues #24420: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #8496: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #25952: Scheduled
9s master
master
9s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1850: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #2959: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #24419: Scheduled
2s master
master
2s
Update Mathlib Dependencies Update Mathlib Dependencies #8495: Scheduled
9s master
master
9s
Merge conflicts Merge conflicts #25951: Scheduled
2s master
master
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #508: completed by j-loreaux
1s
1s
docstrings Run pre-commit and in-place update PR on push #404: Commit c62d643 pushed by j-loreaux
28s StarAlgHom-API
StarAlgHom-API
28s
docstrings continuous integration #513: Commit c62d643 pushed by j-loreaux
2s StarAlgHom-API
StarAlgHom-API
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #507: completed by j-loreaux
1s
1s
Apply suggestion from @themathqueen continuous integration #512: Commit 68cef19 pushed by j-loreaux
2s StarAlgHom-API
StarAlgHom-API
2s
Apply suggestion from @themathqueen Run pre-commit and in-place update PR on push #403: Commit 68cef19 pushed by j-loreaux
28s StarAlgHom-API
StarAlgHom-API
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #506: completed by j-loreaux
2s
2s
Update Mathlib/Algebra/Order/Star/Basic.lean Run pre-commit and in-place update PR on push #402: Commit 7dafb35 pushed by j-loreaux
35s SelfAdjointDecompose
SelfAdjointDecompose
35s
Update Mathlib/Algebra/Order/Star/Basic.lean continuous integration #511: Commit 7dafb35 pushed by j-loreaux
2s SelfAdjointDecompose
SelfAdjointDecompose
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #505: completed by j-loreaux
8s
8s
code review continuous integration #510: Commit f963043 pushed by j-loreaux
2s unitary-commute
unitary-commute
2s
code review Run pre-commit and in-place update PR on push #401: Commit f963043 pushed by j-loreaux
28s unitary-commute
unitary-commute
28s
Dependent Issues Dependent Issues #24418: Scheduled
7s master
master
7s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #1849: Scheduled
2s master
master
2s