ci(live-provers): drop continue-on-error on Tier-2/3 live-test steps#118

hyperpolymath merged 1 commit into

mainhyperpolymath/echidna:mainfrom

ci/drop-soft-fail-on-live-prover-testshyperpolymath/echidna:ci/drop-soft-fail-on-live-prover-testsCopy head branch name to clipboard