Put build artifacts in build/ so as not to pollute src/ directory. (#19) #91

	name: Integration test
	on:
	push:
	branches:
	- main
	pull_request:

	jobs:
	Test:
	runs-on: ubuntu-latest
	permissions:
	packages: read
	statuses: write
	checks: write
	contents: read
	container:
	image: ghcr.io/langproc/langproc-2022-cw/environment:v1.0.0
	credentials:
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}
	steps:
	- uses: actions/checkout@v2

	- name: Build and test
	id: test
	timeout-minutes: 1
	run: \|
	./scripts/test.py

	- name: Perm issue fix
	if: success() \|\| failure()
	run: git config --global --add safe.directory "/__w/${{ github.event.repository.name }}/${{ github.event.repository.name }}"

	- name: Upload test results
	uses: dorny/test-reporter@v1
	if: success() \|\| failure()
	with:
	name: Test results
	path: bin/junit_results.xml
	reporter: java-junit
	fail-on-error: false

Provide feedback