Proof Scripts

proof: add FFM proof for call-c-from-java pattern (#129) #9

Sign in to view logs

Triggered via push March 3, 2026 03:00

brunoborges

main

Status Success

Total duration 3m 3s

Artifacts –

proof.yml

on: push