Sui-Prover Test Action

feat: added boogie option to shl #15

Sign in to view logs

Triggered via push December 8, 2025 17:00

andrii-a8c

main

Status Failure

Total duration 41s

Artifacts –

prover.yml

on: push

Annotations

1 error

build-and-run

Process completed with exit code 1.