Skip to content
GitHub macOS CI

Validate Proof command: runs typing.ml on the current proof #6643

Sign in to view logs

Validate Proof command: runs typing.ml on the current proof

Validate Proof command: runs typing.ml on the current proof #6643

Triggered via pull request May 30, 2023 11:33
@SkySkimmerSkySkimmer
synchronize #17467
SkySkimmer:validate-proof
Status Success
Total duration 40m 6s
Artifacts –

ci-macos.yml

on: pull_request
macOS
35m 37s
macOS
Fit to window
Zoom out
Zoom in