Embed entrypoint in docker image (#210) #240

	name: Show pretty table

	on:
	push:
	branches:
	- main
	pull_request:

	jobs:
	run-experiments:
	runs-on: ubuntu-latest
	container: ghcr.io/opencompl/snitch-toolchain:latest
	steps:
	- uses: actions/[email protected]
	with:
	submodules: recursive
	- name: Check pivoted is up to date
	run: cd kernels
	make -q pivoted.csv
	- name: Read Cycles CSV
	id: cycles-csv
	uses: juliangruber/[email protected]
	with:
	path: kernels/pivoted.csv
	- name: Create MD
	uses: petems/csv-to-md-table-action@master
	id: cycles-csv-table-output
	with:
	csvinput: ${{ steps.cycles-csv.outputs.content }}
	- uses: mshick/add-pr-comment@v1
	with:
	message: \|
	${{steps.cycles-csv-table-output.outputs.markdown-table}}
	repo-token: ${{ secrets.GITHUB_TOKEN }}
	repo-token-user-login: "github-actions[bot]" # The user.login for temporary GitHub tokens
	allow-repeats: true
	- name: Read FPU CSV
	id: fpu-csv
	uses: juliangruber/[email protected]
	with:
	path: kernels/pivoted_fpu.csv
	- name: Create MD
	uses: petems/csv-to-md-table-action@master
	id: fpu-csv-table-output
	with:
	csvinput: ${{ steps.fpu-csv.outputs.content }}
	- uses: mshick/add-pr-comment@v1
	with:
	message: \|
	${{steps.fpu-csv-table-output.outputs.markdown-table}}
	repo-token: ${{ secrets.GITHUB_TOKEN }}
	repo-token-user-login: "github-actions[bot]" # The user.login for temporary GitHub tokens
	allow-repeats: true

Provide feedback