.github/workflows/build_template.yml · Workflow runs · leanprover-community/mathlib4-nightly-testing · GitHub

Actions

All workflows
Workflows
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Autolabel PRs Autolabel PRs
- Bors merge/delegate follow-up Bors merge/delegate follow-up
- Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run)
- bot fix style bot fix style
- Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches
- cache tests cache tests
- Check PR titles Check PR titles
Management
- Caches

.github/workflows/build_template.yml

Actions

Loading...
Loading

build_template.yml

1 workflow run

1 workflow run

fix: do not condition Lake upload on cache-staging .github/workflows/build_template.yml #1: Commit 96ee744 pushed by tydeu

Failure lake-cache-ci

lake-cache-ci

Failure