Skip to content
Test Generated JSON

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

Sign in to view logs

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

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

Triggered via push March 13, 2024 16:39
@dependabotdependabot[bot]
pushed 6b61152
dependabot/submodules/etc/coq-scripts-5876e80
Status Success
Total duration 29s
Artifacts –

json.yml

on: push
test-json
15s