WIP #3658

Sign in to view logs

Triggered via push April 22, 2024 22:19

shinnar

master

Status Failure

Total duration 15m 53s

Artifacts –

build.yml

on: push

Matrix: Build

Annotations

3 errors

Build (coqorg/coq:8.18.0-ocaml-4.13.1-flambda)

Process completed with exit code 2.

Build (coqorg/coq:8.16.1-ocaml-4.13.1-flambda)

The job was canceled because "coqorg_coq_8_18_0-ocaml-4" failed.

Build (coqorg/coq:8.16.1-ocaml-4.13.1-flambda)

The operation was canceled.