diff options
author | 2023-09-16 00:28:21 +0200 | |
---|---|---|
committer | 2023-09-16 02:21:41 +0200 | |
commit | 4f1d586dc24e1f66ab6d07218755423a80e0c615 (patch) | |
tree | 7da3144f834f7ae1adb24d2caa532e7da313ee43 /subprojects/viatra-runtime-localsearch/src/main/java/tools/refinery/viatra/runtime/localsearch/planner/LocalSearchRuntimeBasedStrategy.java | |
parent | Merge pull request #40 from kris7t/update-readme (diff) | |
download | refinery-4f1d586dc24e1f66ab6d07218755423a80e0c615.tar.gz refinery-4f1d586dc24e1f66ab6d07218755423a80e0c615.tar.zst refinery-4f1d586dc24e1f66ab6d07218755423a80e0c615.zip |
build: fix Sonar quality gate issues
Removes VIATRA sources from coverage anaylsis, since those files are maintained
by the VIATRA project.
Diffstat (limited to 'subprojects/viatra-runtime-localsearch/src/main/java/tools/refinery/viatra/runtime/localsearch/planner/LocalSearchRuntimeBasedStrategy.java')
0 files changed, 0 insertions, 0 deletions