fix

Author: meisterT

.github/workflows/integration.yml

@@ -82,7 +82,7 @@ jobs:
           NUMNOTVERIFIED=$(curl $CURLOPTS "http://localhost/domjudge/jury/judging-verifier" | grep "submissions checked"     | sed -r 's/^.* ([0-9]+) submissions checked.*$/\1/')
           NUMVERIFIED=$(   curl $CURLOPTS "http://localhost/domjudge/jury/judging-verifier" | grep "submissions not checked" | sed -r 's/^.* ([0-9]+) submissions not checked.*$/\1/')
           NUMNOMAGIC=$(    curl $CURLOPTS "http://localhost/domjudge/jury/judging-verifier" | grep "without magic string"    | sed -r 's/^.* ([0-9]+) without magic string.*$/\1/')
-          NUMSUBS=$(curl --fail http://admin:password@localhost/domjudge/api/contests/1/submissions | python3 -mjson.tool | grep -c '"id":')
+          NUMSUBS=$(curl $CURLOPTS http://localhost/domjudge/api/contests/1/submissions | python3 -mjson.tool | grep -c '"id":')
           # We expect
           # - two submissions with ambiguous outcome,
           # - one submissions submitted through the submit client, and thus the magic string ignored,