Skip to content
Test Generated Zig

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

Sign in to view logs

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

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

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

zig.yml

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