CI (Coq, docker)

Bump etc/coq-scripts from `bf7754a` to `fdfd924` #243

Sign in to view logs

Triggered via pull request March 5, 2025 11:48

dependabot[bot]

opened #118

dependabot/submodules/etc/coq-scripts-fdfd924

Status Success

Total duration 2h 57m 39s

Artifacts –

coq.yml

on: pull_request

Matrix: build

check-all-docker