m

Author: lucasmcdonald3

.github/workflows/check_python_dafny_version.yml

@@ -0,0 +1,34 @@
+# 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 Python Dafny Version
+
+on:
+  pull_request:
+  push:
+    branches:
+      - main
+
+
+jobs:
+  check-version-consistency:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+      - name: Validate Dafny Version Consistency
+        run: |
+          # Extract the version from pyproject.toml
+          dafny_runtime_python_version=$(grep -oP 'DafnyRuntimePython\s*=\s*"\K[^\"]+' a/b/pyproject.toml)
+
+          # Extract the version from project.properties
+          dafny_version=$(grep -oP 'dafnyVersion=\K[^\s]+' project.properties)
+
+          # Check if the versions match
+          if [ "$dafny_runtime_python_version" != "$dafny_version" ]; then
+            echo "Version mismatch! DafnyRuntimePython ($dafny_runtime_python_version) does not match dafnyVersion ($dafny_version)."
+            exit 1
+          fi
+
+          echo "Versions match: $dafny_runtime_python_version"