chore: release v0.5.0 (#259) #127

	# https://release-plz.ieni.dev/docs/github/quickstart#example-release-pr-and-release
	# We use a separate workflow to release vs create a release PR -- this is because we (currently) only want to
	# create a release PR after the `Feature Powerset` workflow completes, but we want to publish any merged release
	# commits once they're merged to `main`.

	name: Release

	permissions:
	pull-requests: write
	contents: write

	on:
	push:
	branches:
	- main

	jobs:
	release:
	name: Release
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Install Rust toolchain
	uses: dtolnay/rust-toolchain@stable
	- name: Run release-plz
	uses: MarcoIeni/[email protected]
	with:
	command: release
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}

Provide feedback