CI (Coq)

Use make-pretty-timed to display timing info #542

Sign in to view logs

Triggered via pull request September 26, 2023 17:10

JasonGross

opened #37

pretty-print

Status Failure

Total duration 1h 59m 4s

Artifacts –

coq.yml

on: pull_request

Matrix: build

Annotations

1 error

Process completed with exit code 1.