CI

Adapt to https://github.com/coq/coq/pull/14928 #330

Sign in to view logs

Triggered via pull request October 30, 2023 13:07

proux01

opened #366

proux01:coq_14928

Status Failure

Total duration 17m 37s

Artifacts –

ci.yml

on: pull_request

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.09.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.10.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.

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

Process completed with exit code 2.