Platform fixes, documentation updates and other small stuff (#405) #57

	# Continuous integration, including test and integration test
	name: CI

	# Run in master and dev branches and in all pull requests to those branches
	on:
	push:
	branches: [ master, develop ]
	pull_request: {}

	jobs:
	# Build and test the code
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v3

	- uses: actions/setup-java@v3
	with:
	distribution: temurin
	java-version: 17
	cache: maven

	# Compile the code
	- name: Compile code
	run: mvn install -DskipTests

	# Gradle check
	- name: Check
	run: mvn test

Provide feedback