Declarations diff (post-build) · Workflow runs · naype888-cloud/mathlib4 · GitHub

Actions

All workflows
Workflows
- continuous integration continuous integration
- Declarations diff (post-build) Declarations diff (post-build)
- Export workflow telemetry Export workflow telemetry
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing.
- Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push
- Zulip emoji reconcile Zulip emoji reconcile
Management
- Caches

Declarations diff (post-build)

Actions

Loading...
Loading

3 workflow runs

3 workflow runs

Declarations diff (post-build) Declarations diff (post-build) #3: completed by naype888-cloud

10s

10s

Declarations diff (post-build) Declarations diff (post-build) #2: completed by naype888-cloud

10s

10s

Declarations diff (post-build) Declarations diff (post-build) #1: completed by naype888-cloud

1s

1s