Skip to content
GitHub macOS CI

Merge PR #18112: Bench: export TIMED=1 (enable coq_makefile per file … #2403

Sign in to view logs

Merge PR #18112: Bench: export TIMED=1 (enable coq_makefile per file …

Merge PR #18112: Bench: export TIMED=1 (enable coq_makefile per file … #2403

Triggered via push October 10, 2023 13:00
@SkySkimmerSkySkimmer
pushed b28824b
master
Status Success
Total duration 35m 29s
Artifacts –

ci-macos.yml

on: push
macOS
35m 13s
macOS
Fit to window
Zoom out
Zoom in