CI

CI #2124

Sign in to view logs

Triggered via schedule November 5, 2024 08:17

JasonGross

master

Status Failure

Total duration 10h 37m 57s

Artifacts –

ci.yml

on: schedule

Matrix: build

Matrix: docker-build

Annotations

2 errors

build (3.11, local, 8.15.0, coq-8.14.0, ppa:jgross-h/many-coq-versions-ocaml-4-08, ubuntu-20.04)

Process completed with exit code 1.

Process completed with exit code 1.