Skip to content

Actions: goliath-klein/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,200 workflow runs
4,200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Mathlib Dependencies Update Mathlib Dependencies #724: Scheduled
1s master
master
1s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #190: Scheduled
1s master
master
1s
Export workflow telemetry Export workflow telemetry #10: completed by goliath-klein
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #53: completed by goliath-klein
1s
1s
moves theory to ProjectiveSeminorm; deprecates injectiveSeminorm continuous integration #53: Commit e0fb859 pushed by goliath-klein
1s pitp-seminorms-deprecations
pitp-seminorms-deprecations
1s
moves theory to ProjectiveSeminorm; deprecates injectiveSeminorm Run pre-commit and in-place update PR on push #50: Commit e0fb859 pushed by goliath-klein
30s pitp-seminorms-deprecations
pitp-seminorms-deprecations
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #52: completed by goliath-klein
1s
1s
Export workflow telemetry Export workflow telemetry #9: completed by goliath-klein
1s
1s
switches norm instance continuous integration #52: Commit baef0e1 pushed by goliath-klein
1s pitp-seminorms-switch-instance
pitp-seminorms-switch-instance
1s
switches norm instance Run pre-commit and in-place update PR on push #49: Commit baef0e1 pushed by goliath-klein
30s pitp-seminorms-switch-instance
pitp-seminorms-switch-instance
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #51: completed by goliath-klein
1s
1s
Export workflow telemetry Export workflow telemetry #8: completed by goliath-klein
1s
1s
injective golfs Autolabel PRs #5: Commit b245af8 pushed by goliath-klein
1s pit-tp-seminorms-golfs
pit-tp-seminorms-golfs
1s
injective golfs Run pre-commit and in-place update PR on push #48: Commit b245af8 pushed by goliath-klein
38s pit-tp-seminorms-golfs
pit-tp-seminorms-golfs
38s
injective golfs continuous integration #51: Commit b245af8 pushed by goliath-klein
1s pit-tp-seminorms-golfs
pit-tp-seminorms-golfs
1s
Merge conflicts Merge conflicts #1425: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #1432: Scheduled
2s master
master
2s
Update Mathlib Dependencies Update Mathlib Dependencies #723: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #1424: Scheduled
2s master
master
2s
Dependent Issues Dependent Issues #1431: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #722: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1423: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #1430: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #1422: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #1429: Scheduled
1s master
master
1s