Merge branch 'dev' into puzzle_editor-short_truth_table #1030

	# This workflow will build a Java project with Gradle
	# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-gradle

	name: Java CI with Gradle

	on:
	push:
	pull_request:

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	- name: Set up JDK 11
	uses: actions/setup-java@v1
	with:
	java-version: 11
	- name: Grant execute permission for gradlew
	run: chmod +x gradlew
	- name: Build with Gradle
	run: ./gradlew build -x test

	checkstyle:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	- name: Set up JDK 11
	uses: actions/setup-java@v1
	with:
	java-version: 11
	- name: gradlew executable
	run: chmod +x gradlew
	- name: Run checkstyle
	run: ./gradlew check

Provide feedback