verus-update-test #74

	name: Run Verus Update Test

	on:
	repository_dispatch:
	types: [verus-update-test]

	jobs:
	run-tests:
	runs-on: ubuntu-latest
	env:
	CARGO_TERM_COLOR: always

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4
	with:
	ref: ${{ github.event.client_payload.branch }}
	submodules: recursive

	- name: Install dependencies
	run: \|
	sudo apt update -qq
	sudo apt install -y build-essential unzip pkg-config libssl-dev llvm

	- name: Run tests on main branch
	run: \|
	echo "=== Running tests on main branch ==="
	git fetch origin main
	git checkout main
	git submodule update --init --recursive
	git config --global user.name "Verus CI Bot"
	git config --global user.email "[email protected]"
	cargo dv bootstrap
	# Discard any uncommitted changes in tools/verus before upgrade
	git -C tools/verus reset --hard HEAD
	cargo dv bootstrap --upgrade --test_branch
	make 2>&1 \| tee verus_main.log
	if grep -q "error:" verus_main.log; then
	echo "::error title=Main Branch Verification Failed::Errors found in main branch"
	grep "error:" verus_main.log \| while read line; do
	echo "::error::$line"
	done
	exit 1
	else
	echo "✅ Main branch verification passed!"
	fi

	- name: Cleanup logs
	if: always()
	run: rm -f verus_main.log

	- name: Dispatch back to fork for promotion
	if: success()
	uses: peter-evans/repository-dispatch@v2
	with:
	token: ${{ secrets.VERUS_TEST_TOKEN }}
	repository: asterinas/verus
	event-type: verus-update-test-success
	client-payload: '{"branch":"update-test"}'

Provide feedback