Build

add dev #26

	name: Build

	# https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions#concurrency
	concurrency:
	group: "build"
	cancel-in-progress: true

	on:
	push:
	branches:
	# choose your default branch
	- master
	paths-ignore:
	- '*.md'

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@master
	with:
	path: "src"

	- name: Checkout builds
	uses: actions/checkout@master
	with:
	ref: "builds"
	path: "builds"

	- name: Clean old builds
	run: rm $GITHUB_WORKSPACE/builds/*.cs3

	- name: Setup JDK 11
	uses: actions/setup-java@v1
	with:
	java-version: 11

	- name: Setup Android SDK
	uses: android-actions/setup-android@v2

	- name: Build Plugins
	run: \|
	cd $GITHUB_WORKSPACE/src
	chmod +x gradlew
	./gradlew make makePluginsJson
	cp */build/.cs3 $GITHUB_WORKSPACE/builds
	cp build/plugins.json $GITHUB_WORKSPACE/builds

	- name: Push builds
	run: \|
	cd $GITHUB_WORKSPACE/builds
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Actions"
	git add .
	git commit --amend -m "Build $GITHUB_SHA" \|\| exit 0 # do not error if nothing to commit
	git push --force

Provide feedback