Syntax for parsing Rust #1

	---
	name: 'Build And Test'
	on:
	pull_request:
	# Stop in progress workflows on the same branch and same workflow to use latest committed code
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	build-test:
	name: 'Build And Test'
	runs-on: [self-hosted, linux, normal]
	steps:
	- name: 'Check out code'
	uses: actions/checkout@v3
	with:
	submodules: recursive
	- name: 'Set up Docker'
	run: \|
	COMMIT="$(git rev-parse --short=7 HEAD)"
	docker build . --file Dockerfile --build-arg COMMIT="${COMMIT}" --tag dockerhub-runtimeverification.com/ci:${COMMIT}
	docker run --name gh-runner-ci --rm -it --detach --workdir /opt/workspace --user $(id -u):$(id -g) -v ${HOME}:${HOME} -v "$(pwd):/opt/workspace" -v "/etc/passwd:/etc/passwd:ro" -v "/etc/group:/etc/group:ro" dockerhub-runtimeverification.com/ci:${COMMIT}
	- name: 'Build the semantics'
	run: docker exec -t gh-runner-ci /bin/bash -c 'echo "make build -j4"'
	- name: 'Run Tests'
	run: docker exec -t gh-runner-ci /bin/bash -c 'echo "make -j4 test"'
	- name: 'Tear down Docker'
	if: always()
	run: \|
	docker stop gh-runner-ci

Provide feedback