Caches

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
- Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label
- Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run)
- Autolabel PRs Autolabel PRs
- bot fix style bot fix style
- Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches
- Check PR titles Check PR titles
- Check workflows Check workflows
Management
- Caches

Caches

Actions

Loading...
Loading

Showing caches from all workflows. Learn more about managing caches.

1 cache

pre-commit-3|/opt/hostedto... c9c461d94b3f8c7b2c60fb428 pre-commit-3|/opt/hostedtoolcache/Python/3.14.3/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 3.3 MB cached March 28, 2026 05:48 Revert-polar,-polar_def-and-isClosed_polar Last used March 31, 2026 18:43

Revert-polar,-polar_def-and-isClosed_polar

Last used

March 31, 2026 18:43

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management

Caches

Actions

Loading...
Loading

Uh oh!

Actions: JonBannon/mathlib4

Actions

Caches Caches Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page.

Caches

Uh oh!

Caches

Actions

Loading...
Loading