Skip to content

Commit

Permalink
bash script approach
Browse files Browse the repository at this point in the history
  • Loading branch information
areleu committed Feb 23, 2024
1 parent f20b29e commit e97ede2
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/automated_testing.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,10 +22,10 @@ jobs:
- name: find-duplicates
id: duplicates
run: |
sort build/oeo-extended/$(cat VERSION)/oeo-extended.omn | uniq -d | grep -Poc "Class: \K(.*)" || echo ::set-output name=status::$?
- name: raise-error-duplicates
if: steps.duplicates.outputs.status == 1
run: exit 1
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
Expand Down

0 comments on commit e97ede2

Please sign in to comment.