-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
No effects were observed on Make-managed files. References: * ucoProject/UCO#632 * ucoProject/UCO#638 * ucoProject/UCO#639 * ucoProject/UCO#642 Signed-off-by: Alex Nelson <[email protected]>
- Loading branch information
1 parent
815294c
commit 6dd19b5
Showing
2 changed files
with
2 additions
and
2 deletions.
There are no files selected for viewing
Submodule CASE-develop-2.0.0
updated
12 files
+11 −8 | .github/workflows/ci.yml | |
+9 −6 | Makefile | |
+1 −1 | dependencies/UCO | |
+9 −6 | ontology/Makefile | |
+9 −6 | ontology/investigation/Makefile | |
+9 −6 | ontology/master/Makefile | |
+9 −6 | ontology/vocabulary/Makefile | |
+9 −6 | tests/Makefile | |
+9 −6 | tests/examples/Makefile | |
+9 −6 | tests/examples/test_validation.py | |
+9 −6 | tests/shapes/Makefile | |
+9 −6 | tests/test_case_monolithic.py |