Skip to content
Test Generated Zig

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

Sign in to view logs

Update coq-docker.yml: Bump binaryen vesion

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

Triggered via pull request March 29, 2024 21:39
@JasonGrossJasonGross
opened #1842
JasonGross-patch-1
Status Success
Total duration 3m 5s
Artifacts –

zig.yml

on: pull_request
test-zig
2m 54s
test-zig
Fit to window
Zoom out
Zoom in