Separate verify (#721) #1

	name:

	on:
	push:
	branches:
	- dev

	permissions:
	# deployments permission to deploy GitHub pages website
	deployments: write
	# contents permission to update benchmark contents in gh-pages branch
	contents: write

	jobs:
	run-avx-bench:
	runs-on: avx
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@master
	with:
	toolchain: nightly-2024-01-04
	- name: Run benchmark
	run: ./scripts/bench.sh -- --output-format bencher \| tee output.txt
	- name: Download previous benchmark data
	uses: actions/cache@v4
	with:
	path: ./cache
	key: ${{ runner.os }}-benchmark
	- name: Store benchmark result
	uses: benchmark-action/github-action-benchmark@v1
	with:
	tool: 'cargo'
	output-file-path: output.txt
	github-token: ${{ secrets.GITHUB_TOKEN }}
	auto-push: true

Provide feedback