Use CWarnings in coqdep #17946
Merged
Use CWarnings in coqdep #17946
coqbot-app / GitLab CI pipeline (pull request)
completed
Sep 7, 2023 in 0s
Light pipeline completed successfully on GitLab CI
This GitLab pipeline sets the following variables:
- FULL_CI: false
It contains the following stages and jobs:
- build
GitLab Project ID: 4504