Skip to content
Dependabot Automerge

Adapt to https://github.com/coq/coq/pull/19149 #8

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19149

Adapt to https://github.com/coq/coq/pull/19149 #8

Triggered via pull request June 10, 2024 06:32
@proux01proux01
opened #424
proux01:coq_19149
Status Skipped
Total duration 2s
Artifacts –

dependabot-automerge.yml

on: pull_request
dependabot-automerge
0s
dependabot-automerge
Fit to window
Zoom out
Zoom in