Merge branch 'main' into future #510

	name: Tight-Loop Test
	on:
	# Run the for-loop tests when pushing to future or when creating a new PR
	push:
	branches:
	- future
	- main
	paths:
	- compiler/**
	- runtime/**
	- evaluation/**
	- annotations/**
	- scripts/**

	pull_request_target:
	types: [assigned, opened, synchronize, reopened, ready_for_review]
	# the paths that trigger the ci
	paths:
	- compiler/**
	- runtime/**
	- evaluation/**
	- annotations/**
	- scripts/**

	# Jobs section
	jobs:
	build-pash:
	runs-on: ubuntu-latest
	if: github.event.pull_request.draft == false
	steps:
	- uses: actions/checkout@v2
	with:
	ref: ${{ github.event.pull_request.head.sha }}
	- name: Building Pash
	run: \|
	set -e
	sudo touch /.githubenv
	# install the system deps and pash the environment
	sudo -E bash scripts/distro-deps.sh -o
	# install pash
	sudo -E bash scripts/setup-pash.sh -o
	export PASH_TOP=$PWD
	export PATH=$PATH:$PASH_TOP
	# run a simple command
	$PASH_TOP/pa.sh -c 'echo done'

	- name: Running Tight-Loop Tests
	run: \|
	export PASH_TOP=$PWD
	export PATH=$PATH:$PASH_TOP
	cd evaluation/benchmarks/runtime-overhead
	results=$(bash run.sh)
	mkdir ~/artifact
	echo "$results" \| tee ~/artifact/results.log
	- uses: actions/upload-artifact@v3
	with:
	name: tight-loop-artifact
	path: ~/artifact

Provide feedback