Skip to content
Test Generated JSON

Bump etc/coq-scripts from e4d9e81 to 4327aa1 #4626

Sign in to view logs

Bump etc/coq-scripts from e4d9e81 to 4327aa1

Bump etc/coq-scripts from e4d9e81 to 4327aa1 #4626

Triggered via push October 9, 2024 08:56
@dependabotdependabot[bot]
pushed fbe11fa
dependabot/submodules/etc/coq-scripts-4327aa1
Status Success
Total duration 55m 43s
Artifacts –

json.yml

on: push
test-json
12s
test-json
Fit to window
Zoom out
Zoom in