Skip to content
Test Generated Zig

Bump etc/coq-scripts from 5876e80 to 857071d #3928

Sign in to view logs

Bump etc/coq-scripts from 5876e80 to 857071d

Bump etc/coq-scripts from 5876e80 to 857071d #3928

Triggered via push April 17, 2024 00:12
@JasonGrossJasonGross
pushed 5c432b1
dependabot/submodules/etc/coq-scripts-857071d
Status Success
Total duration 5h 3m 48s
Artifacts –

zig.yml

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