Skip to content
Test Generated JSON

Bump etc/coq-scripts from 2df5dbe to d3dc888 #3590

Sign in to view logs

Bump etc/coq-scripts from 2df5dbe to d3dc888

Bump etc/coq-scripts from 2df5dbe to d3dc888 #3590

Triggered via pull request November 7, 2023 17:51
@dependabotdependabot[bot]
synchronize #1701
dependabot/submodules/etc/coq-scripts-d3dc888
Status Success
Total duration 12m 11s
Artifacts –

json.yml

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