delta_maxnorm wip #3659

Sign in to view logs

Triggered via push April 23, 2024 00:25

bmtrager

master

Status Failure

Total duration 17m 1s

Artifacts –

build.yml

on: push

Matrix: Build

Annotations

3 errors

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

Process completed with exit code 2.

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

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

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

The operation was canceled.