From 714950a9a537e0d37ff83f72f6610bcf9fb6554f Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Tue, 1 Aug 2023 00:41:05 +0200
Subject: [PATCH] Use latest commit in CLICS 2023-06 version.

This fixes the CI as the commit we used to pin to before did not exist anymore.
---
 gitlab/ci_settings.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitlab/ci_settings.sh b/gitlab/ci_settings.sh
index d63fb9b3b8..dfea8a1925 100755
--- a/gitlab/ci_settings.sh
+++ b/gitlab/ci_settings.sh
@@ -13,7 +13,7 @@ export GITSHA
 export PS4='(${BASH_SOURCE}:${LINENO}): - [$?] $ '
 export LOGFILE="/opt/domjudge/domserver/webapp/var/log/prod.log"
 
-CCS_SPECS_PINNED_SHA1='6b11623d586500d11ec20b6c12a4908b44ff0e41'
+CCS_SPECS_PINNED_SHA1='a68aff54c4e60fc2bff2fc5c36c119bffa4d30f1'
 
 # Shared storage for all artifacts
 export GITLABARTIFACTS="$DIR/gitlabartifacts"