[core-dev] Fix coq-stdlib - #3838
Merged
Merged
coqbot-app / GitLab CI pipeline (pull request)
succeeded
Aug 28, 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