chore: remove an unneeded clone (#92) #169

	# Runs integration tests.

	name: integration

	on:
	pull_request:
	merge_group:
	push:
	branches: [main]

	env:
	CARGO_TERM_COLOR: always

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	jobs:
	test:
	name: test
	env:
	RUST_BACKTRACE: 1
	timeout-minutes: 60
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: taiki-e/install-action@nextest
	- uses: Swatinem/rust-cache@v2
	with:
	cache-on-failure: true
	- name: Check bytecode is up to date with source
	run: \|
	make check-bytecode
	- name: Run tests
	run: \|
	cargo nextest run \
	--locked \
	--workspace \
	-E 'kind(test)'

	integration-success:
	name: integration success
	runs-on: ubuntu-latest
	if: always()
	needs: [test]
	timeout-minutes: 30
	steps:
	- name: Decide whether the needed jobs succeeded or failed
	uses: re-actors/alls-green@release/v1
	with:
	jobs: ${{ toJSON(needs) }}

Provide feedback