Merge branch '__rultor' #7

	---
	name: mvn
	on:
	push:
	branches:
	- master
	paths-ignore: [ 'paper/', 'sandbox/' ]
	pull_request:
	branches:
	- master
	paths-ignore: [ 'paper/', 'sandbox/' ]
	concurrency:
	group: mvn-${{ github.ref }}
	cancel-in-progress: true
	jobs:
	mvn:
	name: mvn
	strategy:
	matrix:
	os: [ ubuntu-20.04, windows-2022, macos-12 ]
	java: [ 11, 20 ]
	runs-on: ${{ matrix.os }}
	env:
	CONVERT_PATH: /tmp/antlr4-to-bnf-converter
	steps:
	- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4
	- uses: actions/setup-java@v4
	with:
	distribution: 'temurin'
	java-version: ${{ matrix.java }}
	- uses: actions/cache@v3
	with:
	path: ~/.m2/repository
	key: ${{ runner.os }}-jdk-${{ matrix.java }}-maven-${{ hashFiles('**/pom.xml') }}
	restore-keys: ${{ runner.os }}-jdk-${{ matrix.java }}-maven-
	# The next step is required to avoid some exceptions that occur
	# when running on Windows OS. For example like this one:
	# - https://github.com/objectionary/eo/issues/2336
	# The step disables http multiplexing in Cargo which cause some problems
	# on Windows OS.
	# You can read more about multiplexing right here
	# - https://stackoverflow.com/questions/36517829/what-does-multiplexing-mean-in-http-2
	# Multiplexing in Rust:
	# - https://doc.rust-lang.org/cargo/reference/config.html#httpmultiplexing
	- name: Set Cargo config (Windows)
	if: matrix.os == 'windows-2022'
	run: \|
	echo [http] >> %USERPROFILE%\.cargo\config.toml
	echo multiplexing = false >> %USERPROFILE%\.cargo\config.toml
	shell: cmd
	- run: mvn clean install -Pqulice --errors --batch-mode

Provide feedback