verus

Add a workflow that runs Verus on each task #24

	name: verus

	on: [pull_request, workflow_dispatch]

	jobs:
	verus:
	runs-on: ubuntu-latest
	steps:
	- name: checkout
	uses: actions/checkout@v4

	- name: Install toolchain dependencies
	shell: bash
	run: \|
	curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" \| sh -s -- --profile minimal --default-toolchain none -y
	echo "${CARGO_HOME:-$HOME/.cargo}/bin" >> $GITHUB_PATH

	- name: Install Rust toolchain
	run: \|
	rustup update --no-self-update stable
	rustup install 1.79.0-x86_64-unknown-linux-gnu

	- name: Get latest Verus release
	env:
	GH_TOKEN: $${{ github.token }}
	run: \|
	REPO="verus-lang/verus"
	# Determine tag of latest release.
	function latest_release_tag() {
	gh release list \
	--repo "${REPO}" \
	--limit 1 \
	--json tagName \
	--template '{{range .}}{{.tagName}}{{end}}'
	}
	tag=$(latest_release_tag)

	# Download the x86 Linux package.
	gh release download \
	--repo "${REPO}" \
	"${tag}" \
	--pattern '*-x86-linux.zip' \
	--output "verus.zip"

	- name: run Verus
	working-directory: ./tasks
	run: \|
	# Run `verus` on each file, collecting failures if any
	ANYFAILED=""
	for i in *.rs; do
	echo -n "[verus] $i: "
	if ../verus-x86-linux/verus "$i" >/dev/null 2>/dev/null; then
	echo "success"
	else
	echo "failed"
	# Re-run `verus` on any failure just to display the actual output
	../verus-x86-linux/verus "$i" \|\| true
	ANYFAILED="$ANYFAILED $i"
	fi
	done
	if [ -n "$ANYFAILED" ]; then
	echo "Failed:$ANYFAILED"
	exit 1
	fi

Provide feedback