Support EIP1159 Transaction Types #564

	name: build

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]


	jobs:
	build-java:
	runs-on: ubuntu-latest
	steps:
	# Setup
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- uses: actions/setup-java@v4
	with:
	java-version: 21
	distribution: adopt
	cache: 'gradle'
	- uses: dafny-lang/[email protected]
	with:
	dafny-version: "4.4.0"
	- name: Set DAFNY_HOME
	run: echo "DAFNY_HOME=$(dirname $(which dafny))" >> $GITHUB_ENV
	# Build
	- name: Gradle Build
	run: gradle --no-daemon build -Prandomize=5
	# Report
	- name: Verification Logs (EVM)
	if: always()
	run: gradle --no-daemon debug --args="build/logs/verify.csv"
	- name: Verification Logs (Proofs)
	if: always()
	run: gradle --no-daemon debug --args="build/logs/test_*.csv"

	test-z3-4-8-5:
	runs-on: ubuntu-latest
	steps:
	# Setup
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- uses: actions/setup-java@v4
	with:
	java-version: 21
	distribution: adopt
	cache: 'gradle'
	- uses: dafny-lang/[email protected]
	with:
	dafny-version: "4.4.0"
	- name: Set DAFNY_HOME
	run: echo "DAFNY_HOME=$(dirname $(which dafny))" >> $GITHUB_ENV
	# Build
	- name: Gradle Test
	run: gradle --no-daemon test -Prandomize=5 -Psolver-path=$DAFNY_HOME/z3/bin/z3-4.8.5
	# Report
	- name: Verification Logs (EVM)
	if: always()
	run: gradle --no-daemon debug --args="build/logs/verify.csv"
	- name: Verification Logs (Proofs)
	if: always()
	run: gradle --no-daemon debug --args="build/logs/test_*.csv"

Provide feedback