Small change push to trigger workflow #10

	---
	name: 'Test PR'
	on:
	pull_request:
	branches:
	- "master"

	# 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:
	new-version-test:
	name: 'Test Proofs'
	runs-on: [self-hosted, linux, normal]
	steps:
	- name: 'Check out code'
	uses: actions/checkout@v3
	with:
	token: ${{ secrets.JENKINS_GITHUB_PAT }}
	fetch-depth: 0

	- name: 'Get Kontrol Version'
	run: \|
	set -euo pipefail
	# Get the version of the tool from the Dockerfile
	echo "kontrol-version=$(cat deps/kontrol_release)" >> $GITHUB_ENV
	# Get Repository Base name
	echo "repository_basename=$(basename ${{ github.repository }})" >> $GITHUB_ENV

	- name: "Start Docker Container"
	uses: ./.github/actions/with-docker
	with:
	container-name: '${{ env.repository_basename }}-ci'
	container-version: '${{ env.kontrol-version }}'

	- name: 'Test New Tool Versions'
	run: \|
	# Run the following in the running docker container
	docker exec -u user ${{ env.repository_basename }}-ci bash -c '
	set -euo pipefail
	# If all scripts in test.sh pass then the test is successful, else fail
	# and print the name of the script that failed
	for script in ./test/*.sh; do
	if ! bash "$script"; then
	echo "Test failed: $script"
	exit 1
	else
	echo "Test passed: $script"
	fi
	done
	'

Provide feedback