Merge branch 'main' into copilot/fix-code-scanning-alert-124

This commit is contained in:
Bruno Borges 2026-07-14 15:38:24 -04:00 committed by GitHub
commit df8c4f0b04
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -722,10 +722,12 @@ jobs:
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Verify JAVA_HOME still points to Java 17 - name: Verify JAVA_HOME still points to Java 17
env:
JAVA_17_PATH: ${{ steps.setup-java-17.outputs.path }}
run: | run: |
echo "JAVA_HOME=$JAVA_HOME" echo "JAVA_HOME=$JAVA_HOME"
echo "Java 17 path=${{ steps.setup-java-17.outputs.path }}" echo "Java 17 path=$JAVA_17_PATH"
if [ "$JAVA_HOME" != "${{ steps.setup-java-17.outputs.path }}" ]; then if [ "$JAVA_HOME" != "$JAVA_17_PATH" ]; then
echo "JAVA_HOME should still point to Java 17" echo "JAVA_HOME should still point to Java 17"
exit 1 exit 1
fi fi