CI

[v8.20] CI Fixup #493

Sign in to view logs

Triggered via push August 29, 2024 18:35

ejgallego

v8.20

Status Failure

Total duration 10m 32s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

4 errors

build (4.13.x, test, coq.8.20.dev)

Process completed with exit code 2.

build (4.12.x, test, coq.8.20.dev)

Process completed with exit code 2.

build (4.14.x, test, coq.8.20.dev)

Process completed with exit code 2.

build (4.14.x, test, true)

Process completed with exit code 2.