Ask the user to update the JDK installed by Rascal Extension if new release is out #105

	name: Lint

	on:
	# Trigger the workflow on push or pull request,
	# but only for the main branch
	push:
	branches:
	- main
	# Replace pull_request with pull_request_target if you
	# plan to use this action with forks, see the Limitations section
	pull_request:
	types: [opened, synchronize, reopened]
	branches:
	- main


	permissions:
	checks: write
	contents: write


	jobs:

	sonarcloud:
	name: SonarCloud
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-java@v3
	with:
	java-version: 11
	distribution: 'temurin'
	cache: 'maven'
	- name: Cache SonarCloud packages
	uses: actions/cache@v3
	with:
	path: ~/.sonar/cache
	key: ${{ runner.os }}-sonar
	restore-keys: ${{ runner.os }}-sonar
	- name: Build and analyze java
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # Needed to get PR information, if any
	SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
	run: mvn -f ./rascal-lsp/pom.xml -Pcoverage -B -Drascal.compile.skip verify org.sonarsource.scanner.maven:sonar-maven-plugin:sonar -Dsonar.projectKey=usethesource_rascal-language-servers

	eslint:
	name: eslint
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: setup node
	uses: actions/setup-node@v3
	with:
	node-version: 16
	cache: 'npm'
	cache-dependency-path: rascal-vscode-extension/package-lock.json
	registry-url: 'https://registry.npmjs.org'

	- name: Package & compile extension
	working-directory: ./rascal-vscode-extension
	run: npm ci

	- name: Run linters
	uses: wearerequired/lint-action@v2
	with:
	eslint: true
	eslint_dir: ./rascal-vscode-extension
	eslint_args: "src"
	eslint_extensions: ts

Provide feedback