Test opam package

CI (Coq, opam) #48

Sign in to view logs

Triggered via schedule November 1, 2024 01:46

JasonGross

master

Status Failure

Total duration 1h 42m 13s

Artifacts –

coq-opam-package.yml

on: schedule

Matrix: install

Annotations

1 error

install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)

Connect Timeout Error