.github/workflows/release: correct CI server URL
@@ -208,7 +208,7 @@ jobs:
JENKINS_DEVOPS_TOKEN: ${{ secrets.JENKINS_DEVOPS_TOKEN }}
VERSION: ${{ needs.macos-build.outputs.version }}
run: |
- curl --fail 'https://office.runtimeverification.com/jenkins/buildByToken/buildWithParameters' \
+ curl --fail 'https://ci.runtimeverification.com/jenkins/buildByToken/buildWithParameters' \
--data job=Devops/master \
--data token=$JENKINS_DEVOPS_TOKEN \
--data UPDATE_DEPS=true \
