Dependabot Automerge

Bump etc/coq-scripts from `4327aa1` to `9479734` #22

Sign in to view logs

Triggered via pull request January 14, 2025 07:51

dependabot[bot]

opened #168

dependabot/submodules/etc/coq-scripts-9479734

Status Success

Total duration 10s

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