fix: federation upstream set (ci error) #129
Merged
coqbot-app / GitLab CI pipeline (pull request)
failed
Nov 28, 2023 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
- test
- almalinux-8-master-py3
- centos-7-master-py3
- centos-stream8-master-py3
- debian-10-master-py3
- debian-11-master-py3
- default-fedora-35-master-py3
- default-fedora-36-master-py3
- default-opensuse-leap-153-master-py3
- default-opensuse-tmbl-latest-master-py3
- oraclelinux-7-master-py3
- oraclelinux-8-master-py3
- rockylinux-8-master-py3
- ubuntu-1804-master-py3
- ubuntu-2004-master-py3
- ubuntu-2204-master-py3
GitLab Project ID: 23134852
Loading