Skip to content

Commit 7c0c586

Browse files
committed
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. (cherry picked from commit 5a59d30)
1 parent c87101b commit 7c0c586

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

gitlab/ci_settings.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ export GITSHA
1313
export PS4='(${BASH_SOURCE}:${LINENO}): - [$?] $ '
1414
export LOGFILE="/opt/domjudge/domserver/webapp/var/log/prod.log"
1515

16-
CCS_SPECS_PINNED_SHA1='6b11623d586500d11ec20b6c12a4908b44ff0e41'
16+
CCS_SPECS_PINNED_SHA1='a68aff54c4e60fc2bff2fc5c36c119bffa4d30f1'
1717

1818
# Shared storage for all artifacts
1919
export GITLABARTIFACTS="$DIR/gitlabartifacts"

0 commit comments

Comments
 (0)