Skip to content

coqgen examples executable in monad_model #421

coqgen examples executable in monad_model

coqgen examples executable in monad_model #421

Triggered via pull request November 21, 2023 07:01
@t6st6s
synchronize #128
eval_cyclic
Status Startup failure
Total duration
Artifacts

docker-action.yml

on: pull_request
Matrix: build
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

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 ''