Back to pull request #432

Adapt to https://github.com/coq/coq/pull/19530 #44

Sign in to view logs

Triggered via pull request September 17, 2024 15:33

proux01

synchronize #432

proux01:stdlib_repo

Status Skipped

Total duration 2s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge