ELMO.v #883

# to view logs

Triggered via push December 11, 2023 15:41

wkolowski

use-constrained-elmo

Status Failure

Total duration 4m 40s

Artifacts –

test-pr.yml

on: push

Matrix: build

Annotations

1 error

build (coqorg/coq:8.16-ocaml-4.14-flambda): theories/Examples/ELMO/UMO.v#L550

No applicable tactic.