Skip to content
CI (Coq, docker, dev)

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

Sign in to view logs

Bump etc/coq-scripts from 2df5dbe to d3dc888

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

Triggered via pull request November 7, 2023 15:27
@dependabotdependabot[bot]
opened #1703
dependabot/submodules/sp2019latest/etc/coq-scripts-d3dc888
Status Success
Total duration 40m 46s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker-coq.yml

on: pull_request
Matrix: docker-build
Fit to window
Zoom out
Zoom in