Skip to content

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

[Prover] add support of abort in spec function

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

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

move-test-compiler-v2.yaml

on: pull_request
rust-move-tests
0s
rust-move-tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
rust-move-tests
Canceling since a higher priority waiting request for 'Aptos Move Test for Compiler V2-refs/pull/14939/merge' exists