Skip to content

Actions: dagurtomas/mathlib4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues Dependent Issues #13726: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #6455: Scheduled
1s master
master
1s
Export workflow telemetry Export workflow telemetry #94: completed by dagurtomas
1s
1s
Zulip emoji CI status Zulip emoji CI status #188: completed by dagurtomas
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #671: completed by dagurtomas
1s
1s
Zulip emoji CI status Zulip emoji CI status #187: requested by dagurtomas
1s
1s
fix error continuous integration #671: Commit 5ae66ab pushed by dagurtomas
1s typecat-3
typecat-3
1s
fix error Run pre-commit and in-place update PR on push #565: Commit 5ae66ab pushed by dagurtomas
22s typecat-3
typecat-3
22s
Export workflow telemetry Export workflow telemetry #93: completed by dagurtomas
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #670: completed by dagurtomas
1s
1s
Zulip emoji CI status Zulip emoji CI status #186: completed by dagurtomas
Skipped
Skipped
Zulip emoji CI status Zulip emoji CI status #185: requested by dagurtomas
1s
1s
Merge branch 'master' into n-infty-internally-projective continuous integration #670: Commit d6651a8 pushed by dagurtomas
1s n-infty-internally-projective
n-infty-internally-projective
1s
Merge branch 'master' into n-infty-internally-projective Run pre-commit and in-place update PR on push #564: Commit d6651a8 pushed by dagurtomas
29s n-infty-internally-projective
n-infty-internally-projective
29s
Zulip emoji CI status Zulip emoji CI status #184: completed by dagurtomas
Skipped
Skipped
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #669: completed by dagurtomas
Skipped
Skipped
Export workflow telemetry Export workflow telemetry #92: completed by dagurtomas
1s
1s
Zulip emoji CI status Zulip emoji CI status #183: requested by dagurtomas
1s
1s
Merge branch 'master' into typecat-3 continuous integration #669: Commit fefebb9 pushed by dagurtomas
1s typecat-3
typecat-3
1s
Merge branch 'master' into typecat-3 Run pre-commit and in-place update PR on push #563: Commit fefebb9 pushed by dagurtomas
25s typecat-3
typecat-3
25s
Merge conflicts Merge conflicts #12873: Scheduled
1s master
master
1s
Merge master to nightly Merge master to nightly #2254: Scheduled
1s master
master
1s
Daily CI Workflow Daily CI Workflow #299: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #13725: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #6454: Scheduled
1s master
master
1s