Skip to content
Test Generated Zig

Bump etc/coq-scripts from 7b54b75 to 5876e80 #3781

Sign in to view logs

Bump etc/coq-scripts from 7b54b75 to 5876e80

Bump etc/coq-scripts from 7b54b75 to 5876e80 #3781

Triggered via push March 13, 2024 16:39
@dependabotdependabot[bot]
pushed 6b61152
dependabot/submodules/etc/coq-scripts-5876e80
Status Success
Total duration 3m 3s
Artifacts –

zig.yml

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