fix CI #2400

Sign in to view logs

Triggered via push October 2, 2023 13:22

yforster

coq-8.18

Status Failure

Total duration 1m 32s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

3 errors

build (8.18, 4.14-flambda, opam)

The job was canceled because "_8_18_4_14-flambda_quick" failed.

build (8.18, 4.14-flambda, local)

The job was canceled because "_8_18_4_14-flambda_quick" failed.

build (8.18, 4.14-flambda, local)

The operation was canceled.