CI (Coq, MacOS)

Bench garagedoor april2 #4397

Sign in to view logs

Summary
Jobs
- macos
Run details
- Usage
- Workflow file

Triggered via pull request April 6, 2024 13:23

opened #1855

andres-erbsen:bench-garagedoor-april2

Status Failure

Total duration 18m 3s

Artifacts –

coq-macos.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.