Skip to content
Test Generated Zig

Bump coqprime from 6c225a2 to 845c00c #4304

Sign in to view logs

Bump coqprime from 6c225a2 to 845c00c

Bump coqprime from 6c225a2 to 845c00c #4304

Triggered via pull request November 11, 2024 15:41
@JasonGrossJasonGross
synchronize #1984
dependabot/submodules/coqprime-845c00c
Status Success
Total duration 1m 53s
Artifacts –

zig.yml

on: pull_request
test-zig
41s
test-zig
Fit to window
Zoom out
Zoom in