[anneal] In setup, recursively cache Lean sources
#74
joshlfanneal-release.yml
on: pull_request
Create Release for Artifacts
Check if version was updated
Release new Anneal versions
Matrix: publish-artifacts
Waiting for pending jobs
Finalize Release
Annotations
1 error
|
Anneal Release
Canceling since a higher priority waiting request for Anneal Release-refs/pull/3306/merge exists
|