chore(codeql): upgrade Java version to 25#137

erikgb merged 1 commit intostatnett:mainstatnett/github-workflows:mainfrom

sverrehu:patch-1sverrehu/github-workflows:patch-1Copy head branch name to clipboard