Dependabot Automerge

Bump etc/coq-scripts from `9479734` to `bf7754a` #23

Sign in to view logs

Triggered via pull request January 15, 2025 07:56

dependabot[bot]

opened #169

dependabot/submodules/etc/coq-scripts-bf7754a

Status Success

Total duration 14s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge

Annotations

1 warning

dependabot-automerge

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636