Kani Format Check

Remove CBMC viewer and visualize option #8782

Sign in to view logs

Triggered via pull request November 8, 2024 22:48

zhassan-aws

synchronize #3699

zhassan-aws:delete-viewer

Status Success

Total duration 3m 42s

Artifacts –

format-check.yml

on: pull_request