CI

Support the extraction plugin #343

Sign in to view logs

Re-run triggered November 29, 2023 13:46

ejgallego

#375

toku-sa-n:support-extraction

Status Failure

Total duration 12m 4s

Artifacts –

ci.yml

on: pull_request

Matrix: build

Annotations

7 errors

build (4.10.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.14.x, test, coq.dev coq-mathcomp-ssreflect.1.dev)

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.12.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.11.x, test, coq.dev coq-mathcomp-ssreflect.1.dev)

Process completed with exit code 2.