Build

Build #79

Sign in to view logs

Manually triggered November 27, 2024 09:39

xavierleroy

coq-820

Status Failure

Total duration 10m 14s

Artifacts –

build.yml

on: workflow_dispatch

Matrix: linux

Annotations

1 error

Process completed with exit code 2.