Skip to content
Test Generated Zig

Update coq-windows.yml to echo build params better hopefully #3319

Sign in to view logs

Update coq-windows.yml to echo build params better hopefully

Update coq-windows.yml to echo build params better hopefully #3319

Triggered via push November 11, 2023 10:21
@JasonGrossJasonGross
pushed a456d3b
master
Status Success
Total duration 4h 0m 50s
Artifacts –

zig.yml

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