Skip to content
test-clang-format

chore: use CBMC version 6.1.1 #1176

Sign in to view logs

chore: use CBMC version 6.1.1

chore: use CBMC version 6.1.1 #1176

Triggered via pull request August 23, 2024 12:24
@tautschnigtautschnig
opened #804
tautschnig:cbmc-v6
Status Success
Total duration 23s
Artifacts –

clang-format.yml

on: pull_request
build
14s
build
Fit to window
Zoom out
Zoom in