cleanup caches by a branch

chore: Fix failing unsoundness checks #699

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Triggered via pull request June 17, 2024 08:25

aborgna-q

closed #1196

ab/skip-miri

Status Success

Total duration 22s

Artifacts –

drop-cache.yml

on: pull_request