From 3271222d743a6b9214e828dbfdc4382e410ace39 Mon Sep 17 00:00:00 2001
From: Gabriel Zachmann <gabriel.zachmann@kit.edu>
Date: Fri, 15 Dec 2023 10:48:16 +0100
Subject: [PATCH] Update .gitlab-ci.yml

---
 .gitlab-ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2051344e..41f3df0d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -99,6 +99,13 @@ deploy-dev:
   script:
     # For complete details on the GitHub API please see:
     # https://developer.github.com/v3/repos/statuses
+    - 'echo curl -L
+        -X POST
+        -H "Accept: application/vnd.github+json"
+        -H @${GH_CURL_HEADER}
+        -H "X-GitHub-Api-Version: 2022-11-28"
+        https://api.github.com/repos/${STATUS_PROJECT}/statuses/${CI_COMMIT_SHA}
+        -d "\"state\": \"${CI_JOB_NAME}\",\"context\": \"${STATUS_NAME}\", \"target_url\": \"${CI_PIPELINE_URL}\""'
     - 'curl -L
         -X POST
         -H "Accept: application/vnd.github+json"