Skip to content
Test Generated Zig

Update coq-windows.yml #1522

Sign in to view logs

Update coq-windows.yml

Update coq-windows.yml #1522

Triggered via push September 20, 2024 18:23
@JasonGrossJasonGross
pushed 0719e9e
more-win-fix
Status Success
Total duration 46s
Artifacts –

zig.yml

on: push
test-zig
36s
test-zig
Fit to window
Zoom out
Zoom in