CI

Merge pull request #376 from rlepigre/br/fix-18281 #367

Sign in to view logs

Triggered via push January 24, 2024 07:59

ppedrot

main

Status Failure

Total duration 11m 36s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

7 errors

build (4.11.x, test, coq.dev coq-mathcomp-ssreflect.1.dev)

Process completed with exit code 2.

build (4.10.x, test, coq.dev coq-mathcomp-ssreflect.1.dev)

Process completed with exit code 2.

build (4.14.x, test, coq.dev coq-mathcomp-ssreflect.1.dev)

Process completed with exit code 2.

build (4.12.x, test, coq.dev coq-mathcomp-ssreflect.1.dev)

Process completed with exit code 2.

build (4.09.x, test, coq.dev coq-mathcomp-ssreflect.1.dev)

Process completed with exit code 2.

build (4.13.1, test, true)

Process completed with exit code 2.

build (4.13.x, test, coq.dev coq-mathcomp-ssreflect.1.dev)

Process completed with exit code 2.