From 14e065eda5ca008d3e565c2f79971523ab4b3e03 Mon Sep 17 00:00:00 2001
From: Lucas McDonald <lucasmcdonald3@gmail.com>
Date: Mon, 16 Dec 2024 15:19:37 -0800
Subject: [PATCH] m

---
 .../workflows/check_python_dafny_version.yml  | 36 -------------------
 1 file changed, 36 deletions(-)
 delete mode 100644 .github/workflows/check_python_dafny_version.yml

diff --git a/.github/workflows/check_python_dafny_version.yml b/.github/workflows/check_python_dafny_version.yml
deleted file mode 100644
index ce783a8b0..000000000
--- a/.github/workflows/check_python_dafny_version.yml
+++ /dev/null
@@ -1,36 +0,0 @@
-# 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"