Skip to content
GitHub macOS CI

Backport PR #17270: [coqdep] give relative paths to META and .cmxs fi… #129

Sign in to view logs

Backport PR #17270: [coqdep] give relative paths to META and .cmxs fi…

Backport PR #17270: [coqdep] give relative paths to META and .cmxs fi… #129

Triggered via push June 19, 2023 13:59
@Zimmi48Zimmi48
pushed cbf1d67
staging-v8.17
Status Success
Total duration 31m 59s
Artifacts –

ci-macos.yml

on: push
macOS
31m 44s
macOS
Fit to window
Zoom out
Zoom in