Skip to content

Actions: martinwintermath/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 #2750: Scheduled
2s master
master
2s
Merge conflicts Merge conflicts #3276: Scheduled
Skipped master
master
Skipped
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #181: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #1822: Scheduled
2s master
master
2s
Dependent Issues Dependent Issues #2749: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #3275: Scheduled
1s master
master
1s
Update Mathlib Dependencies Update Mathlib Dependencies #1821: Scheduled
1s master
master
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #266: completed by martinwintermath
1s
1s
Export workflow telemetry Export workflow telemetry #190: completed by martinwintermath
1s
1s
Zulip emoji CI status Zulip emoji CI status #308: completed by martinwintermath
1s
1s
Zulip emoji CI status Zulip emoji CI status #307: requested by martinwintermath
1s
1s
Merge branch 'master' into pointed-minor continuous integration #266: Commit e46db6c pushed by martinwintermath
2s pointed-minor
pointed-minor
2s
Merge branch 'master' into pointed-minor Run pre-commit and in-place update PR on push #253: Commit e46db6c pushed by martinwintermath
28s pointed-minor
pointed-minor
28s
Zulip emoji CI status Zulip emoji CI status #306: completed by martinwintermath
1s
1s
Export workflow telemetry Export workflow telemetry #189: completed by martinwintermath
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #265: completed by martinwintermath
1s
1s
Zulip emoji CI status Zulip emoji CI status #305: requested by martinwintermath
2s
2s
Update Mathlib/Geometry/Convex/Cone/Pointed.lean continuous integration #265: Commit 83dc477 pushed by martinwintermath
2s pointed-minor
pointed-minor
2s
Update Mathlib/Geometry/Convex/Cone/Pointed.lean Run pre-commit and in-place update PR on push #252: Commit 83dc477 pushed by martinwintermath
24s pointed-minor
pointed-minor
24s
Dependent Issues Dependent Issues #2748: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #3274: Scheduled
1s master
master
1s
Dependent Issues Dependent Issues #2747: Scheduled
1s master
master
1s
Merge conflicts Merge conflicts #3273: Scheduled
2s master
master
2s
Update Mathlib Dependencies Update Mathlib Dependencies #1820: Scheduled
1s master
master
1s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #180: Scheduled
1s master
master
1s