Rename metrics files to drop the version

PicnicSupermarket · Feb 13, 2024 · 123c2bd · 123c2bd
1 parent 22b02c3
commit 123c2bd
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/run-integration-tests.yml b/.github/workflows/run-integration-tests.yml
@@ -17,7 +17,7 @@ jobs:
   run-integration-tests:
     strategy:
       matrix:
-        integration-test: ["checkstyle", "metrics-v4.2.19"]
+        integration-test: ["checkstyle", "metrics"]
     name: On-demand integration test
     # if: |
       # github.event.issue.pull_request && contains(github.event.comment.body, '/integration-test')

diff --git a/...ts/metrics-v4.2.19-expected-changes.patch → ...tion-tests/metrics-expected-changes.patch b/...ts/metrics-v4.2.19-expected-changes.patch → ...tion-tests/metrics-expected-changes.patch
diff --git a/...sts/metrics-v4.2.19-expected-warnings.txt → ...ation-tests/metrics-expected-warnings.txt b/...sts/metrics-v4.2.19-expected-warnings.txt → ...ation-tests/metrics-expected-warnings.txt
diff --git a/integration-tests/metrics-v4.2.19-init.patch → integration-tests/metrics-init.patch b/integration-tests/metrics-v4.2.19-init.patch → integration-tests/metrics-init.patch
diff --git a/integration-tests/metrics-v4.2.19.sh → integration-tests/metrics.sh b/integration-tests/metrics-v4.2.19.sh → integration-tests/metrics.sh