Skip to content
GitHub macOS CI

overlay for coq-core -> rocq-runtime renaming #4401

Sign in to view logs

overlay for coq-core -> rocq-runtime renaming

overlay for coq-core -> rocq-runtime renaming #4401

Triggered via push December 11, 2024 15:24
@SkySkimmerSkySkimmer
pushed 48526cb
rocq-cli
Status Success
Total duration 24m 35s
Artifacts –

ci-macos.yml

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