Master Push

Add `ksoroban prove` command (#20) #20

Sign in to view logs

Triggered via push August 13, 2024 09:41

rv-jenkins

master

Status Success

Total duration 43s

Artifacts –

master.yml

on: push

Publish Release