Skip to content
Windows CI

TEMP Set bench for coq native #2384

Sign in to view logs

TEMP Set bench for coq native

TEMP Set bench for coq native #2384

Triggered via push November 8, 2023 21:08
@JasonGrossJasonGross
pushed 6fab177
native-off-perdef
Status Failure
Total duration 1h 4m 39s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

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.