From 75beb9dc781e3addd1dfa6fd52507c151643b5a2 Mon Sep 17 00:00:00 2001
From: Lucas McDonald <lucmcdon@amazon.com>
Date: Fri, 18 Aug 2023 14:42:26 -0700
Subject: [PATCH] debug

---
 .github/workflows/test_models_python_tests.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test_models_python_tests.yml b/.github/workflows/test_models_python_tests.yml
index b0b3058f1..aadc6c168 100644
--- a/.github/workflows/test_models_python_tests.yml
+++ b/.github/workflows/test_models_python_tests.yml
@@ -37,10 +37,10 @@ jobs:
            TestModels/Constructor,
           # TestModels/Dependencies,
           TestModels/Errors,
-          TestModels/Extendable,
+          # TestModels/Extendable, # Dafny namespace issues
           # TestModels/Extern,
           # TestModels/LocalService,
-          # TestModels/Refinement, # str issues
+          # TestModels/Refinement, # Dafny str issues
           TestModels/Resource,
           # TestModels/SimpleTypes/BigDecimal,
           # TestModels/SimpleTypes/BigInteger,