Cleanup caches from deleted branch

Add docs for examples/demo-prover #96

Sign in to view logs

Summary
Jobs
- cleanup
Run details
- Usage
- Workflow file

Triggered via pull request August 25, 2023 19:04

dubbelosix

closed #730

dub/docs_demo_prover

Status Success

Total duration 12s

Artifacts –

cleanup_caches.yml

on: pull_request