Adapt to Coq/Coq#18164 · mit-plv/fiat@1103b91

Re-run triggered December 1, 2023 18:35

JasonGross

#103

Status Cancelled

Total duration 57s

Artifacts –

docker-coq.yml

on: pull_request

Matrix: build

9 errors

Canceling since a higher priority waiting request for 'CI (Coq, docker)-8.18-rm_arith_files' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'CI (Coq, docker)-8.16-rm_arith_files' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'CI (Coq, docker)-8.17-rm_arith_files' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'CI (Coq, docker)-dev-rm_arith_files' exists

The operation was canceled.

Process completed with exit code 1.