chore: Check that DafnyRuntimePython version matches project.properti…

…es dafnyVersion (#1042)

.github/workflows/check_dafny_runtime_versions.yml

@@ -0,0 +1,36 @@
+# Checks that DafnyRuntimePython version in StandardLibrary's pyproject.toml
+# matches the Dafny version in project.properties.
+# .toml is static and cannot load this automatically.
+# This must be bumped manually.
+name: Check DafnyRuntimePython Version Consistency
+
+on:
+  pull_request:
+  push:
+    branches:
+      - main
+
+jobs:
+  check-version-consistency:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+      - name: Validate DafnyRuntimePython Version Consistency
+        run: |
+          # Extract the version from pyproject.toml
+          dafny_runtime_python_version=$(grep -oP 'DafnyRuntimePython\s*=\s*"\K[^\"]+' StandardLibrary/runtimes/python/pyproject.toml)
+
+          # Normalize by removing `.postN` if present
+          normalized_dafny_runtime_python_version=$(echo "$dafny_runtime_python_version" | sed 's/\.post[0-9]*$//')
+
+          # Extract the version from project.properties
+          dafny_version=$(grep -oP 'dafnyVersion=\K[^\s]+' project.properties)
+
+          # Check if the versions match
+          if [ "$normalized_dafny_runtime_python_version" != "$dafny_version" ]; then
+            echo "Version mismatch! DafnyRuntimePython ($normalized_dafny_runtime_python_version) does not match dafnyVersion ($dafny_version)."
+            exit 1
+          fi
+
+          echo "Versions match: $normalized_dafny_runtime_python_version"

StandardLibrary/runtimes/python/pyproject.toml

@@ -18,7 +18,7 @@ include = [
 python = "^3.11.0"
 pytz = "^2023.3.post1"
 # TODO: Longer-term, write something to pull this in from the project's project.properties file
-DafnyRuntimePython = "4.8.1.post1"
+DafnyRuntimePython = "4.9.0"
 
 # Package testing