Skip to content
Test Generated Zig

Update coq-alpine.yml #4561

Sign in to view logs

Update coq-alpine.yml

Update coq-alpine.yml #4561

Triggered via push March 14, 2025 06:34
@JasonGrossJasonGross
pushed 30e2240
master
Status Success
Total duration 31s
Artifacts –

zig.yml

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