diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml index 47327d2c8..43309dcdd 100644 --- a/.github/workflows/build_and_test.yml +++ b/.github/workflows/build_and_test.yml @@ -87,6 +87,7 @@ jobs: - '.gitignore' - '.gitattributes' - '.editorconfig' + - '.tool-versions' - 'justfile' - 'doc/**' diff --git a/.tool-versions b/.tool-versions index d1d89d33d..6f272a7fc 100644 --- a/.tool-versions +++ b/.tool-versions @@ -1 +1 @@ -java 17.0.2 +java openjdk-17.0.2