ci: add invariant tests to pipeline

Author: Luisfc68

.github/workflows/fuzz.yml

@@ -51,3 +51,6 @@ jobs:
 
       - name: Fuzz test smart contracts
         run: npm run test:fuzz
+
+      - name: Invariant test smart contracts
+        run: npm run test:invariant

Makefile

@@ -1071,6 +1071,12 @@ safe-change-owner: validate-deploy change-owner-fork
 docs:
 	@echo "Documentation is available in docs/FOUNDRY_MAKEFILE_GUIDE.md"
 
+# Invariant tests
+.PHONY: test-invariant
+test-invariant:
+	@echo "Running invariant tests..."
+	forge test --match-path "test/invariant/**/*.t.sol" -vv
+
 # Catch-all target for hash-quote arguments (pegin/pegout, network names, file paths)
 # This prevents make from complaining about unknown targets when using: make hash-quote pegin testnet
 ifneq (,$(findstring hash-quote,$(MAKECMDGOALS)))

package.json

@@ -7,6 +7,7 @@
     "compile": "npm run lint:sol && forge build",
     "test": "npm run compile && make test-unit",
     "test:fuzz": "npm run compile && make test-fuzz",
+    "test:invariant": "npm run compile && make test-invariant",
     "coverage": "forge coverage",
     "lint:ts": "npx prettier --check . && npx eslint .",
     "lint:sol": "solhint 'src/**/*.sol'",