From 825c412cf5229530a742bbc84486b181de858f69 Mon Sep 17 00:00:00 2001
From: Rick Ossendrijver <rick.ossendrijver@gmail.com>
Date: Mon, 30 Oct 2023 14:14:11 +0100
Subject: [PATCH] Second try

---
 .github/workflows/run-integration-tests.yml | 2 +-
 integration-tests/checkstyle-10.12.4.sh     | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/run-integration-tests.yml b/.github/workflows/run-integration-tests.yml
index 14b2a28a204..66d1b454053 100644
--- a/.github/workflows/run-integration-tests.yml
+++ b/.github/workflows/run-integration-tests.yml
@@ -17,9 +17,9 @@ jobs:
     strategy:
       matrix:
         os: [ ubuntu-22.04, macos-12 ]
+    runs-on: ${{ matrix.os }}
     if: |
       github.event.issue.pull_request && contains(github.event.comment.body, '/integration-test')
-    runs-on: ${{ matrix.os }}
     steps:
       - name: Check out code
         uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
diff --git a/integration-tests/checkstyle-10.12.4.sh b/integration-tests/checkstyle-10.12.4.sh
index 6a630f19820..784b1e8c5ac 100755
--- a/integration-tests/checkstyle-10.12.4.sh
+++ b/integration-tests/checkstyle-10.12.4.sh
@@ -3,6 +3,9 @@
 set -e -u -o pipefail
 
 integration_test_root="(cd `dirname -- $0` && pwd)"
+integration_test_root_2="$(readlink -f "$(dirname "${0}")")"
+echo "1: ${integration_test_root}"
+echo "2: ${integration_test_root_2}"
 error_prone_support_root="${integration_test_root}/.."
 repos_root="${integration_test_root}/.repos"