coq: making sure coq master and 9.0 compile #1007217
Triggered via pull request
December 16, 2024 14:31
CohenCyril
CohenCyril
closed
#363757
Status
Skipped
Total duration
1s
Artifacts
–
backport.yml
on: pull_request_target
Backport Pull Request
0s