Tests

Add support for coq 8.18 #3434

Sign in to view logs

Triggered via push February 29, 2024 00:40

shinnar

coq18

Status Failure

Total duration 16m 20s

Artifacts –

build.yml

on: push

Matrix: Build

Annotations

1 error

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

Process completed with exit code 2.