Skip to content
Test Generated Zig

[CI] [alpine-edge] coq => rocq #4556

Sign in to view logs

[CI] [alpine-edge] coq => rocq

[CI] [alpine-edge] coq => rocq #4556

Triggered via push March 13, 2025 21:20
@JasonGrossJasonGross
pushed 41a2ae1
fix-alpine
Status Success
Total duration 7m 37s
Artifacts –

zig.yml

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