[CI] Remove coq-bignums before CI #209

Sign in to view logs

Triggered via pull request February 16, 2024 13:53

erikmd

synchronize #87

fix_ci

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#L40

The workflow is not valid. .github/workflows/docker-action.yml (Line: 40, Col: 13): A mapping was not expected