Skip to content

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

[Prover] add support of abort in spec function

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

Triggered via pull request October 16, 2024 03:20
Status Cancelled
Total duration 29s
Artifacts

lint-test.yaml

on: pull_request
file_change_determinator
11s
file_change_determinator
rust-doc-tests
0s
rust-doc-tests
rust-unit-tests
0s
rust-unit-tests
rust-consensus-only-unit-test
0s
rust-consensus-only-unit-test
rust-consensus-only-smoke-test
0s
rust-consensus-only-smoke-test
general-lints
0s
general-lints
rust-cryptohasher-domain-separation-check
0s
rust-cryptohasher-domain-separation-check
rust-lints
0s
rust-lints
rust-cargo-deny
1s
rust-cargo-deny
rust-smoke-tests
0s
rust-smoke-tests
rust-check-merge-base
0s
rust-check-merge-base
rust-targeted-unit-tests
0s
rust-targeted-unit-tests
rust-build-cached-packages
0s
rust-build-cached-packages
Fit to window
Zoom out
Zoom in

Annotations

7 errors
rust-lints
Canceling since a higher priority waiting request for 'Lint+Test-refs/pull/14939/merge' exists
rust-check-merge-base
Canceling since a higher priority waiting request for 'Lint+Test-refs/pull/14939/merge' exists
rust-targeted-unit-tests
Canceling since a higher priority waiting request for 'Lint+Test-refs/pull/14939/merge' exists
rust-cargo-deny
Canceling since a higher priority waiting request for 'Lint+Test-refs/pull/14939/merge' exists
rust-cargo-deny
The operation was canceled.
general-lints
Canceling since a higher priority waiting request for 'Lint+Test-refs/pull/14939/merge' exists
general-lints
A task was canceled.