Kani Format Check

[Boogie Backend] Add instructions on how to use the Boogie backend to… #368

Sign in to view logs

Triggered via push December 19, 2023 19:44

zhassan-aws

boogie-instructions

Status Success

Total duration 1m 53s

Artifacts –

format-check.yml

on: push