Skip to content
Test Generated Zig

Update coq-windows.yml #1485

Sign in to view logs

Update coq-windows.yml

Update coq-windows.yml #1485

Triggered via push May 9, 2024 11:09
@JasonGrossJasonGross
pushed 095f216
windows-more-compact
Status Success
Total duration 3m 4s
Artifacts –

zig.yml

on: push
test-zig
2m 53s
test-zig
Fit to window
Zoom out
Zoom in