ci: 契约测试接入 CI 与 make test

This commit is contained in:
xweiba
2026-09-11 14:20:50 +08:00
parent 393c7cc215
commit f4712f7fb2
4 changed files with 63 additions and 1 deletions
+4 -1
View File
@@ -1,4 +1,4 @@
.PHONY: setup core ipa-unsigned verify-ipa
.PHONY: setup core ipa-unsigned verify-ipa test
setup:
./Scripts/setup.sh
@@ -12,3 +12,6 @@ ipa-unsigned: core
verify-ipa:
@test -n "$(IPA)" || (echo "Usage: make verify-ipa IPA=/absolute/path/to/signed.ipa" >&2; exit 2)
./Scripts/verify-ipa.sh --signed "$(IPA)"
test:
./Tests/run_all_contract_tests.sh