Kani Format Check

Update cbmc-viewer to 3.10 (#3683) #8765

Sign in to view logs

Triggered via push November 7, 2024 09:16

github-merge-queue[bot]

gh-readonly-queue/main/pr-3683-4781b95c3f7b3b0be17e3d12dd41991fd5caf855

Status Success

Total duration 3m 46s

Artifacts –

format-check.yml

on: push