Skip to content
GitHub macOS CI

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

Sign in to view logs

overlay for coq-core -> rocq-runtime renaming

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

Triggered via push December 12, 2024 15:34
@SkySkimmerSkySkimmer
pushed 6d358b1
rocq-cli
Status Failure
Total duration 26m 29s
Artifacts –

ci-macos.yml

on: push
macOS
26m 17s
macOS
Fit to window
Zoom out
Zoom in

Annotations

1 error
macOS
Process completed with exit code 2.