diff --git a/.github/workflows/integration.yml b/.github/workflows/integration.yml index e4b8b452ed..d651afc7be 100644 --- a/.github/workflows/integration.yml +++ b/.github/workflows/integration.yml @@ -89,6 +89,7 @@ jobs: # Send a general clarification to later test if we see the event. curl $CURLOPTS -F "sendto=" -F "problem=1-" -F "bodytext=Testing" -F "submit=Send" \ "http://localhost/domjudge/jury/clarifications/send" -o /dev/null + curl $CURLOPTS "http://localhost/domjudge/jury/judging-verifier" 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/')