Skip to content
Snippets Groups Projects

fix: rework the status reporting to github

Merged fix: rework the status reporting to github
wdconinc-master-patch-98887 into master
Merged
Wouter Deconinckrequested to merge
wdconinc-master-patch-98887 into master
Compare
and
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
.gitlab-ci.yml
+ 1
− 1
@@ -46,7 +46,7 @@ benchmarks:detector:pending:
@@ -46,7 +46,7 @@ benchmarks:detector:pending:
echo https://api.github.com/repos/${GITHUB_REPOSITORY}/statuses/${GITHUB_SHA}
echo https://api.github.com/repos/${GITHUB_REPOSITORY}/statuses/${GITHUB_SHA}
curl \
curl \
-X POST \
-X POST \
-H "Accept: application/vnd.github+json" \
-H "Accept: application/vnd.github+json" \
-H "Authorization: token ${GITHUB_REPO_STATUS_TOKEN}" \
-H "Authorization: token ${GITHUB_REPO_STATUS_TOKEN}" \
https://api.github.com/repos/${GITHUB_REPOSITORY}/statuses/${GITHUB_SHA} \
https://api.github.com/repos/${GITHUB_REPOSITORY}/statuses/${GITHUB_SHA} \
-d '{"state":"pending", \
-d '{"state":"pending", \