build

WIP #7

	name: 'build'
	on: # rebuild any PRs and main branch changes
	pull_request:
	push:
	branches:
	- main
	- benchmarking

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:

	- name: Checkout (GitHub)
	uses: actions/checkout@v3

	- name: Login to GitHub Container Registry
	uses: docker/login-action@v2
	with:
	registry: ghcr.io
	username: ${{ github.repository_owner }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: set lower case owner name
	run: \|
	echo "OWNER_LC=${OWNER,,}" >>${GITHUB_ENV}
	env:
	OWNER: '${{ github.repository_owner }}'

	# See https://github.com/devcontainers/ci/blob/main/docs/github-action.md
	- name: Build and run dev container task
	uses: devcontainers/[email protected]
	with:
	imageName: ghcr.io/${{ env.OWNER_LC }}/r-compile-server
	# Change this to be your CI task/script
	runCmd: cd server; mvn --batch-mode --update-snapshots test

Provide feedback