Fix rocqide.dev dependency after renaming - #3833
Merged
Merged
coqbot-app / GitLab CI pipeline (pull request)
succeeded
Aug 27, 2026 in 0s
Pipeline completed successfully on GitLab CI
This GitLab pipeline sets the following variables:
It contains the following stages and jobs:
GitLab Project ID: 55429
Loading