Move benchmark download tool and visualization to the CI #11

	# This file is manually managed. It is used to upload benchmarks to to the
	# https://github.com/enso-org/engine-benchmark-results repository.

	name: Benchmarks upload
	on:
	pull_request:
	branches: ["*"]
	schedule:
	- cron: 0 0 * * *
	workflow_dispatch:
	inputs:
	just-check:
	description: If set, no results will be uploaded.
	required: true
	type: boolean
	default: false
	jobs:
	upload-benchmarks:
	name: Upload benchmarks
	runs-on: ubuntu-latest
	steps:
	- name: Checkout enso repository
	uses: actions/checkout@v4
	with:
	repository: enso-org/enso
	path: enso
	- name: Checkout engine-benchmark-results repository
	uses: actions/checkout@v4
	with:
	repository: enso-org/engine-benchmark-results
	path: engine-benchmark-results
	- name: Install dependencies
	run: \|
	sudo apt-get update
	sudo apt-get install -y \
	python3 \
	python3-jinja2 \
	python3-numpy \
	python3-pandas
	sudo apt-get install -y gh
	- name: Upload benchmarks (dry-run)
	if: ${{ github.event.inputs.just-check }}
	run: \|
	cd enso/tools/performance/engine-benchmarks
	python3 website_regen.py \
	-v \
	--dry-run \
	--local-repo ${{ github.workspace }}/engine-benchmark-results
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	- name: Upload benchmarks
	run: \|
	cd enso/tools/performance/engine-benchmarks
	python3 website_regen.py \
	-v \
	--local-repo ${{ github.workspace }}/engine-benchmark-results
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Provide feedback