add markdown output for github actions display #403

	name: Run Examples
	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main
	workflow_dispatch:
	jobs:
	CompileAndTest:
	runs-on: ubuntu-latest
	container:
	# Requires repo to have action access in package settings
	image: ghcr.io/uq-pac/basil-dev:latest
	credentials:
	username: ${{ github.actor }}
	password: ${{ secrets.github_token }}
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Compile BASIL
	run: ./mill compile

	- name: Bitvec Tests
	run: ./mill test.testOnly BitVectorAnalysisTests

	- name: IntrusiveListTest
	run: ./mill test.testOnly '*IntrusiveListPublicInterfaceTest'

	- name: System Tests
	run: ./mill test.testOnly *SystemTests -- -z basic_assign_increment/gcc_no_plt_no_pic -z basic_assign_increment/clang_no_plt_no_pic -z secret_write/gcc_no_plt_no_pic

	SystemTests:
	runs-on: ubuntu-latest
	container:
	# Requires repo to have action access in package settings
	image: ghcr.io/uq-pac/basil-dev:latest
	credentials:
	username: ${{ github.actor }}
	password: ${{ secrets.github_token }}
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: System Tests
	run: ./mill test.testOnly 'SystemTests' \|\| true
	- uses: edunad/[email protected]
	with:
	path: 'src/test/*.svg'
	title: "SystemTest verification time distribution (ms)"
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- uses: actions/upload-artifact@v4
	with:
	name: testresult-${{ github.run_number }}
	path: \|
	src/test/*.csv
	src/test/*.svg
	- run: \|
	tail -n+1 src/test/summary-*.csv
	paste src/test/headers.md.part src/test/summary-*.md.part > $GITHUB_STEP_SUMMARY

Provide feedback