Coq

[do not merge] Metriclightbulb #1469

Sign in to view logs

Triggered via pull request November 13, 2024 14:40

opened #435

metriclightbulb

Status Failure

Total duration 1h 29m 49s

Artifacts –

coq.yml

on: pull_request

Matrix: build

Annotations

3 errors

build (8.18.0)

Process completed with exit code 2.

build (master)

Process completed with exit code 2.

coq-check-all

Process completed with exit code 1.