disable failing test due to missing theory

viperproject · Mar 15, 2024 · c29a7b0 · c29a7b0
1 parent f0d573d
commit c29a7b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -29,7 +29,7 @@ jobs:
           includePaths: 'test/include_path'
           timeout: 2m
           conditionalizePermissions: '1'
-          disableNL: '1'
+            # disableNL: '1'
       - name: Verify chopped Gobra files
         uses: ./
         with: