Stop checking duplicates until is clear how it works

OpenEnergyPlatform · Feb 23, 2024 · f7a3162 · f7a3162
1 parent 5759af1
commit f7a3162
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/automated_testing.yml b/.github/workflows/automated_testing.yml
@@ -19,13 +19,13 @@ jobs:
       - name: verify
         run: |
           java -jar build/robot.jar verify --input build/oeo-extended/$(cat VERSION)/oeo-extended.omn --queries tests/verify/*
-      - name: find-duplicates
-        id: duplicates
-        run: |
-          linenum=$(sort build/oeo-extended/$(cat VERSION)/oeo-extended.omn | uniq -d | grep -Poc "Class: \K(.*)")
-          if [ "$linenum" != "0" ]; then
-              exit 1
-          fi
+      # - name: find-duplicates
+      #   id: duplicates
+      #   run: |
+      #     linenum=$(sort build/oeo-extended/$(cat VERSION)/oeo-extended.omn | uniq -d | grep -Poc "Class: \K(.*)")
+      #     if [ "$linenum" != "0" ]; then
+      #         exit 1
+      #     fi
       - name: check inferred equivalence
         run: |
           java -jar build/robot.jar reason --reasoner ELK --input build/oeo-extended/$(cat VERSION)/oeo-extended.omn --axiom-generators "EquivalentClass" --equivalent-classes-allowed asserted-only