GitHub macOS CI

use prof2html in bench #4542

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via push January 8, 2025 14:19

SkySkimmer

coqprofreader

Status Failure

Total duration 11m 17s

Artifacts –

ci-macos.yml

on: push

Annotations

1 error

Process completed with exit code 1.