MetaCoq CI

Fixup #2961

Sign in to view logs

Triggered via push January 29, 2025 16:04

mattam82

9.0

Status Failure

Total duration 1m 57s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

1 error

build (9.0+rc1, 4.14-flambda, opam)

The job was canceled because "_9_0_rc1_4_14-flambda_loc" failed.