Sui-Prover Test Action

feat: update boogie opt for some specs #14

Sign in to view logs

Triggered via push December 5, 2025 22:06

andrii-a8c

main

Status Failure

Total duration 58s

Artifacts –

prover.yml

on: push

Annotations

1 error

build-and-run

Process completed with exit code 1.