Skip to content

Adapt w.r.t. coq/coq#18909. #34

Adapt w.r.t. coq/coq#18909.

Adapt w.r.t. coq/coq#18909. #34

Triggered via pull request April 18, 2024 10:25
Status Success
Total duration 9s
Artifacts

dependabot-automerge.yml

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