debug

smithy-lang · Aug 18, 2023 · 75beb9d · 75beb9d
1 parent 001f490
commit 75beb9d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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,