Skip to content
Test Generated JSON

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

Sign in to view logs

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

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

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

json.yml

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