Kani Format Check

Update CBMC build instructions for Amazon Linux 2 #7627

Sign in to view logs

Triggered via pull request August 9, 2024 11:12

tautschnig

opened #3431

tautschnig:kani-al2-build

Status Success

Total duration 3m 25s

Artifacts –

format-check.yml

on: pull_request