Caches

Actions

All workflows
Workflows
- Autolabel PRs Autolabel PRs
- continuous integration continuous integration
- 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
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.2/x64|eed6fff08dea616fc8e517a4cc488ddae42c4b3c9c461d94b3f8c7b2c60fb428 4 MB cached December 19, 2025 20:21 reap Last used January 27, 2026 10:00

reap

Last used

January 27, 2026 10:00

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management

Caches

Actions

Loading...
Loading

Uh oh!

Actions: frenzymath/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