Skip to content
MetaCoq CI

Update opam file dependencies for 8.20 version #2801

Sign in to view logs

Update opam file dependencies for 8.20 version

Update opam file dependencies for 8.20 version #2801

Triggered via push July 9, 2024 12:50
@mattam82mattam82
pushed 13a6852
coq-8.20
Status Failure
Total duration 1m 57s
Artifacts –

build.yml

on: push
checktodos
5s
checktodos
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (8.20, 4.09-flambda, local)
The job was canceled because "_8_20_4_14-flambda_opam" failed.
build (8.20, 4.09-flambda, opam)
The job was canceled because "_8_20_4_14-flambda_opam" failed.