ci: fail evm over size limit

Author: evan-gray

.github/workflows/evm.yml

@@ -46,6 +46,10 @@ jobs:
           make lint
         id: check
 
+      - name: Run size test
+        run: |
+          make size-test
+
   echidna:
     name: echidna
     runs-on: ubuntu-latest

evm/Makefile

@@ -22,8 +22,7 @@ gen-bindings: prod-build
 #######################
 ## TESTS
 
-test: forge-test push0-test
-
+test: forge-test push0-test size-test
 
 forge-test:
 	forge test -vvv
@@ -33,6 +32,11 @@ push0-test:
 	forge build --extra-output evm.bytecode.opcodes
 	@if grep -qr --include \*.json PUSH0 ./evm/out; then echo "Contract uses PUSH0 instruction" 1>&2; exit 1; else echo "PUSH0 Verification Succeeded"; fi
 
+# Verify the contract size is under the Spurious Dragon limit (24576 bytes)
+# Without the prod profile (using --via-ir), the contracts are too large ='(
+size-test:
+	FOUNDRY_PROFILE=prod forge build --sizes --skip test
+
 
 #######################
 ## LINT
@@ -42,4 +46,4 @@ lint:
 
 
 fix-lint:
-	forge fmt
+	forge fmt