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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
24m 7s
24m 7s