Update several packages for Coq 8.19 and recent releases #2993
coqbot-app / GitLab CI pipeline (pull request)
failed
Mar 21, 2024 in 0s
Pipeline completed with errors on GitLab CI
If you need to restart the entire pipeline, you may do so directly in the GitHub interface using the "Re-run" button.
This GitLab pipeline sets the following variables:
It contains the following stages and jobs:
- lint
- build
GitLab Project ID: 9032395
Loading