Skip to content
GitHub macOS CI

Merge PR #20052: Fix Rocq Proof Assistant -> Rocq Prover in rocq --ve… #4597

Sign in to view logs

Merge PR #20052: Fix Rocq Proof Assistant -> Rocq Prover in rocq --ve…

Merge PR #20052: Fix Rocq Proof Assistant -> Rocq Prover in rocq --ve… #4597

Triggered via push January 16, 2025 13:09
@SkySkimmerSkySkimmer
pushed 118972a
master
Status Success
Total duration 20m 54s
Artifacts –

ci-macos.yml

on: push
macOS
20m 43s
macOS
Fit to window
Zoom out
Zoom in