Add a new workflow for concretization and delete older concretization workflows #17
Triggered via pull request
September 16, 2024 20:07
jmcarcell
Status
Startup failure
Total duration
–
Artifacts
–
concretize.yaml
on: pull_request
Matrix: concretize
Waiting for pending jobs
Annotations
1 error
|
Invalid workflow file:
.github/workflows/concretize.yaml#L15
The workflow is not valid. .github/workflows/concretize.yaml (Line: 15, Col: 17): Unexpected value '' .github/workflows/concretize.yaml (Line: 16, Col: 5): Unexpected value 'group'
|