Skip to content
Back to pull request #2066

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

Sign in to view logs

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

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

Triggered via pull request March 13, 2025 21:20
@JasonGrossJasonGross
opened #2066
fix-alpine
Status Success
Total duration 6m 34s
Artifacts –

zig.yml

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