Skip to content
Test Generated Zig

Update coq-docker.yml: Bump binaryen vesion #3822

Sign in to view logs

Update coq-docker.yml: Bump binaryen vesion

Update coq-docker.yml: Bump binaryen vesion #3822

Triggered via push March 29, 2024 21:39
@JasonGrossJasonGross
pushed 2b329d7
JasonGross-patch-1
Status Success
Total duration 3m 4s
Artifacts –

zig.yml

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