Effect handlers: Straight-line optimization #2441

	name: CI with Nix

	on:
	pull_request:
	push:
	branches: [ mlscript, hkmc2 ]

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Install Nix
	uses: DeterminateSystems/nix-installer-action@main
	- uses: rrbutani/use-nix-shell-action@v1
	with:
	devShell: .#default
	- name: Install npm dependencies (TypeScript, Binaryen, etc.)
	run: npm ci
	- name: Run test
	id: run_test
	# Not running all tests because those outside of hkmc2 are obsolete (will be removed)
	run: sbt -J-Xmx4096M -J-Xss8M hkmc2AllTests/test
	# It's useful to see how the tests fail by seeing the diff through the next step
	continue-on-error: true
	- name: Check no changes
	run: \|
	git update-index -q --refresh
	git diff-files -p --exit-code
	- name: Fail if tests failed
	if: steps.run_test.outcome == 'failure'
	run: exit 1

Provide feedback