Skip to content
Test Generated JSON

Bump coqprime from 6c225a2 to 845c00c #4657

Sign in to view logs

Bump coqprime from 6c225a2 to 845c00c

Bump coqprime from 6c225a2 to 845c00c #4657

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

json.yml

on: pull_request
test-json
13s
test-json
Fit to window
Zoom out
Zoom in