feat: boogie opts updates #13
andrii-a8cAnnotations
2 warnings
|
build-and-run
asymptotic-code/sui-prover/sui-prover 0.3.98 is already installed and up-to-date.
To reinstall 0.3.98, run:
brew reinstall sui-prover
|
|
build-and-run
Failed to restore: "/opt/homebrew/bin/gtar" failed with error: The process '/opt/homebrew/bin/gtar' failed with exit code 2
|