Skip to content

Commit

Permalink
Changed extension in verify
Browse files Browse the repository at this point in the history
  • Loading branch information
areleu committed Feb 22, 2024
1 parent 3b72e22 commit f4cf755
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/automated_testing.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ jobs:
java -jar build/robot.jar validate-profile --input build/oeo-extended/$(cat VERSION)/oeo-extended.omn --profile Full -vvv --output merged-validation.txt
- name: verify
run: |
java -jar build/robot.jar verify --input build/oeo-extended/$(cat VERSION)/oeo-extended.owl --queries tests/verify/*
java -jar build/robot.jar verify --input build/oeo-extended/$(cat VERSION)/oeo-extended.omn --queries tests/verify/*
- uses: actions/upload-artifact@master
with:
name: build-artifacts
Expand Down

0 comments on commit f4cf755

Please sign in to comment.