Remove reference do dead branch #66

	permissions:
	contents: read
	# This configuration allows maintainers of this repo to create a branch and pull request based on
	# the new branch. Restricting the push trigger to the main branch ensures that the PR only gets
	# built once.
	on:
	push:
	branches: [master]
	pull_request:
	# If new code is pushed to a PR branch, then cancel in progress workflows for that PR. Ensures that
	# we don't waste CI time, and returns results quicker https://github.com/jonhoo/rust-ci-conf/pull/5
	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true
	name: check
	jobs:
	fmt:
	runs-on: ubuntu-latest
	name: stable / fmt
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	- name: Install stable
	uses: dtolnay/rust-toolchain@stable
	with:
	components: rustfmt
	- name: cargo fmt --check
	run: cargo fmt --check
	clippy:
	runs-on: ubuntu-latest
	name: ${{ matrix.toolchain }} / clippy
	permissions:
	contents: read
	checks: write
	strategy:
	fail-fast: false
	matrix:
	# Get early warning of new lints which are regularly introduced in beta channels.
	toolchain: [stable, beta]
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	- name: Install ${{ matrix.toolchain }}
	uses: dtolnay/rust-toolchain@master
	with:
	toolchain: ${{ matrix.toolchain }}
	components: clippy
	- name: cargo clippy
	uses: giraffate/clippy-action@v1
	with:
	reporter: 'github-pr-check'
	github_token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback