Skip to content
Test Generated Zig

Bump etc/coq-scripts from e4d9e81 to 4327aa1 #4273

Sign in to view logs

Bump etc/coq-scripts from e4d9e81 to 4327aa1

Bump etc/coq-scripts from e4d9e81 to 4327aa1 #4273

Triggered via push October 9, 2024 08:56
@dependabotdependabot[bot]
pushed fbe11fa
dependabot/submodules/etc/coq-scripts-4327aa1
Status Success
Total duration 58m 59s
Artifacts –

zig.yml

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