Skip to content

Adapt to coq#19822

Adapt to coq#19822 #76

Triggered via pull request November 18, 2024 08:34
Status Skipped
Total duration 2s
Artifacts

dependabot-automerge.yml

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