Skip to content
Windows CI

attempt at saving incomplete proofs, but no #13

Sign in to view logs

attempt at saving incomplete proofs, but no

attempt at saving incomplete proofs, but no #13

Triggered via push December 13, 2024 16:26
@ybertotybertot
pushed 61e0495
recovery-trials
Status Failure
Total duration 1h 0m 57s
Artifacts –

ci-windows.yml

on: push
Matrix: Windows
Fit to window
Zoom out
Zoom in

Annotations

1 error
Windows (64)
Process completed with exit code 1.