Optimization wollok game #15

	name: Run Benchmarks

	on: [pull_request]

	jobs:
	run-benchmarks:
	if: ${{ contains(github.event.pull_request.body, '[Run benchmarks]') }}
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v3

	- name: Read .nvmrc
	run: echo "##[set-output name=NVMRC;]$(cat .nvmrc)"
	id: nvm
	- name: Use Node.js (.nvmrc)
	uses: actions/setup-node@v3
	with:
	node-version: "${{ steps.nvm.outputs.NVMRC }}"

	- name: Install dependencies
	run: npm install

	- name: Run benchmarks
	run: npm run test:benchmarks \| tail -n +7 > bench-results.txt
	continue-on-error: true

	- name: TEST - Delete me
	run: cat bench-results.txt

	# - name: Read benchmark results
	# run: \|
	# message=$(cat cat bench-results.txt \| tail -n +6)
	# echo 'RESULTS<<EOF' >> $GITHUB_OUTPUT
	# echo $message >> $GITHUB_OUTPUT
	# echo 'EOF' >> $GITHUB_OUTPUT
	# id: benchmarks
	# continue-on-error: true

	- name: Post results to comment
	uses: peter-evans/commit-comment@v3
	with:
	body-path: 'bench-results.txt'

Provide feedback