remove -dirty suffixing of commit hashes (always dirty anyway)

Author: jberthold

p-token/test-properties/run-proofs.sh

@@ -65,15 +65,8 @@ fi
 set -u
 
 REPO_COMMIT=$(git rev-parse --short HEAD 2>/dev/null || echo "unknown")
-if git status --porcelain 1>/dev/null 2>&1 && [ -n "$(git status --porcelain 2>/dev/null)" ]; then
-    REPO_COMMIT="${REPO_COMMIT}-dirty"
-fi
 
 MIR_COMMIT=$(git -C mir-semantics rev-parse --short HEAD 2>/dev/null || echo "unknown")
-if git -C mir-semantics status --porcelain 1>/dev/null 2>&1 && \
-   [ -n "$(git -C mir-semantics status --porcelain 2>/dev/null)" ]; then
-    MIR_COMMIT="${MIR_COMMIT}-dirty"
-fi
 
 PROOF_DIR="${ARTIFACTS_DIR:-artefacts}/proof-${REPO_COMMIT}-${MIR_COMMIT}"
 mkdir -p "${PROOF_DIR}"