Kani Format Check

Prepare CBMC v6+ build on Ubuntu 18.04 (#3377) #7313

Sign in to view logs

Triggered via push July 24, 2024 21:28

tautschnig

main

Status Success

Total duration 2m 54s

Artifacts –

format-check.yml

on: push