Rust

rename: the recursion guest is guests/lean_ethereum.py #1436

	name: Rust

	on:
	push:
	branches: [ "main" ]
	pull_request:
	workflow_dispatch:

	permissions:
	contents: read

	concurrency:
	group: rust-${{ github.ref }}
	cancel-in-progress: true

	env:
	CARGO_TERM_COLOR: always
	RUST_BACKTRACE: 1
	# Pin the ISA to AVX2, overriding `target-cpu=native` from .cargo/config.toml:
	# otherwise the SIMD backend under test depends on the runner we land on.
	RUSTFLAGS: -C target-cpu=haswell

	jobs:
	test:
	name: Test
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	# The flags live in .cargo/config.toml's aliases
	- name: Test
	run: cargo testall

	clippy:
	name: Clippy
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: clippy
	- uses: Swatinem/rust-cache@v2
	- name: Clippy
	run: cargo clippyall

	doc:
	name: Rustdoc
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	- uses: Swatinem/rust-cache@v2
	- name: Rustdoc
	run: cargo docall

	fmt:
	name: Rustfmt
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: rustfmt
	- name: Check formatting
	run: cargo fmt --all -- --check

Navigation Menu