.github/workflows/coq-action.yml

Update coq-action.yml #137

Sign in to view logs

Triggered via push January 13, 2024 00:21

YoungchanCho_coq-action_8.18

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-action.yml#L5

You have an error in your yaml syntax on line 5