fix

smithy-lang · Aug 18, 2023 · df72f60 · df72f60
1 parent 22c251d
commit df72f60
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
@@ -36,11 +36,11 @@ jobs:
           TestModels/Constraints,
           TestModels/Constructor,
           # TestModels/Dependencies,
-          # TestModels/Errors, # Dafny str issues
+          TestModels/Errors,
           # TestModels/Extendable, # Dafny namespace issues
           # TestModels/Extern,
           # TestModels/LocalService,
-          # TestModels/Refinement, # Dafny str issues
+          TestModels/Refinement,
           TestModels/Resource,
           # TestModels/SimpleTypes/BigDecimal,
           # TestModels/SimpleTypes/BigInteger,