.github/workflows/coq-docker.yml

Reuse docker images for validate job #23

Sign in to view logs

Triggered via push May 9, 2024 22:58

JasonGross

better-docker

Status Failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

Invalid workflow file: .github/workflows/coq-docker.yml#L191

You have an error in your yaml syntax on line 191