Skip to content
Test Generated Zig

Update coq-archlinux.yml #3790

Sign in to view logs

Update coq-archlinux.yml

Update coq-archlinux.yml #3790

Triggered via push March 19, 2024 02:37
@andres-erbsenandres-erbsen
pushed 40b4246
andres-erbsen-patch-2
Status Success
Total duration 3m 1s
Artifacts –

zig.yml

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