Skip to content

Commit

Permalink
Use latest commit in CLICS 2023-06 version.
Browse files Browse the repository at this point in the history
This fixes the CI as the commit we used to pin to before did not exist anymore.
  • Loading branch information
vmcj committed Aug 1, 2023
1 parent 3d50afa commit 5a59d30
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion gitlab/ci_settings.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down

0 comments on commit 5a59d30

Please sign in to comment.