From 47524b56cb62cf77a52bdccf5fdec6240a89bd9c Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Fri, 18 Aug 2023 13:28:06 -0700 Subject: [PATCH] debug --- .github/workflows/test_models_python_tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test_models_python_tests.yml b/.github/workflows/test_models_python_tests.yml index 4cf9c64e4..a425f9bc9 100644 --- a/.github/workflows/test_models_python_tests.yml +++ b/.github/workflows/test_models_python_tests.yml @@ -30,7 +30,7 @@ jobs: strategy: matrix: library: [ - TestModels/dafny-dependencies/StandardLibrary, # This stores current Polymorph dependencies that all TestModels depend on + # TestModels/dafny-dependencies/StandardLibrary, # This stores current Polymorph dependencies that all TestModels depend on TestModels/Aggregate, # TestModels/AggregateReferences, TestModels/Constraints,