Skip to content

Adapt to coq#19822

Adapt to coq#19822 #20

Re-run triggered November 20, 2024 06:20
Status Skipped
Total duration 3s
Artifacts

dependabot-automerge.yml

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