Add a new workflow for concretization and delete older concretization workflows #4
Triggered via pull request
September 16, 2024 09:41
jmcarcell
Status
Cancelled
Total duration
3m 49s
Artifacts
–
concretize.yaml
on: pull_request
Matrix: concretize
Waiting for pending jobs
Annotations
1 error
|
.github/workflows/concretize.yaml
Canceling since a higher priority waiting request for '.github/workflows/concretize.yaml-refs/pull/646/merge' exists
|