cleanup caches generated by pull requests

Update to Agda 2.6.4 #296

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Triggered via pull request November 25, 2023 17:30

EgbertRijke

closed #814

fredrik-bakke:agda-v2.6.4

Status Success

Total duration 15s

Artifacts –

clean-up.yaml

on: pull_request