[Prover] add support of abort in spec function #65224

Job	Run time
permission-check	2s
file_change_determinator	12s
test-target-determinator	4m 3s
fetch-last-released-docker-image-tag	1m 26s
determine-docker-build-metadata	1s
rust-images-consensus-only-perf-test	0s
rust-images-performance	0s
rust-images-failpoints	0s
rust-images / rust-all	14m 19s
forge-multiregion-test	0s
forge-consensus-only-perf-test	0s
node-api-compatibility-tests / node-api-compatibility-tests	58s
cli-e2e-tests / run-cli-tests	5m 59s
forge-compat-test / forge	13m 30s
forge-e2e-test / forge	13m 38s
faucet-tests-main / run-tests-main	0s
forge-framework-upgrade-test / forge	16m 26s
	1h 10m 34s

Provide feedback