perf(prover): ~2x lower peak prover memory at 2^25-2^26, byte-identical proofs #4173

	name: Architecture Tests

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main
	paths:
	- ".github/workflows/arch-tests.yml"
	- "scripts/bootstrap"
	- "tracer/**"
	- "Makefile"
	- "tests/arch-tests/**"
	- "third-party/riscv-arch-test/**"
	- "Cargo.toml"
	- "Cargo.lock"

	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

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

	jobs:
	arch-tests:
	runs-on: ubuntu-latest
	container:
	image: ubuntu:24.04
	options: --user root

	steps:
	- name: Install Essential Tools
	run: \|
	apt-get update && apt-get install -y --no-install-recommends ca-certificates curl make git nodejs

	- name: Checkout code
	uses: actions/checkout@v7.0.1
	with:
	submodules: recursive

	- name: Mark Git repo as safe
	run: \|
	git config --global --add safe.directory '*'

	- name: Setup Rust
	uses: actions-rust-lang/setup-rust-toolchain@v1

	- name: Install ACT4 prerequisites
	run: \|
	make bootstrap

	- name: Setup PATH for sail_riscv_sim and mise
	run: \|
	echo "/opt/riscv/bin" >> $GITHUB_PATH
	echo "$HOME/.local/bin" >> $GITHUB_PATH

	- name: Run RV64IMAC architecture tests (ACT4)
	run: make arch-tests-64imac

	- name: Deliberate-failure smoke test
	run: make arch-tests-smoke

Navigation Menu