Skip to content
GitHub macOS CI

[build] add dev shim for coqidetop.opt. #1090

Sign in to view logs

[build] add dev shim for coqidetop.opt.

[build] add dev shim for coqidetop.opt. #1090

Triggered via push December 11, 2024 17:00
@rlepigrerlepigre
pushed 54d30a9
fix_dune_root
Status Success
Total duration 24m 19s
Artifacts –

ci-macos.yml

on: push
macOS
24m 7s
macOS
Fit to window
Zoom out
Zoom in