reuse devcontainer image in github actions #10

	name: "benchmark"

	on:
	# Run using manual triggers from GitHub UI:
	# https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
	workflow_dispatch: {}

	# Run on pushes to any branch:
	push: {}

	# Queue up benchmark workflows for the same branch, so that results are reported in order:
	concurrency:
	group: "${{ github.workflow }}-${{ github.ref_name }}"
	cancel-in-progress: false

	jobs:
	run:
	runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)

	# Only run on the main repo (not forks):
	if: "${{ github.repository == 'NomicFoundation/slang' }}"

	steps:
	- name: "Checkout Repository"
	uses: "actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332"

	- name: "Restore Cache"
	uses: "./.github/actions/cache/restore"

	- name: "infra setup cargo"
	uses: "./.devcontainer"
	with:
	entrypoint: "./scripts/bin/infra"
	args: "setup cargo"

	- name: "infra perf benchmark"
	uses: "./.devcontainer"
	with:
	entrypoint: "./scripts/bin/infra"
	args: "perf benchmark"
	env:
	BENCHER_API_TOKEN: "${{ secrets.BENCHER_API_TOKEN }}"

Provide feedback