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

Triggered via pull request May 30, 2023 11:33

SkySkimmer

synchronize #17467

Status Success

Total duration 57m 44s

Artifacts 1

ci-windows.yml

on: pull_request

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	130 MB