coqgen examples executable in monad_model #421
Triggered via pull request
November 21, 2023 07:01
t6s
Status
Startup failure
Total duration
–
Artifacts
–
docker-action.yml
on: pull_request
Matrix: build
Waiting for pending jobs
Annotations
1 error
|
Invalid workflow file:
.github/workflows/docker-action.yml#L19
The workflow is not valid. .github/workflows/docker-action.yml (Line: 19, Col: 15): Unexpected value ''
|