Kani Format Check

Fix syntax error in cbmc-update CI job #6320

Sign in to view logs

Triggered via pull request April 16, 2024 22:10

tautschnig

synchronize #3139

tautschnig:fix-cbmc-update-syntax

Status Success

Total duration 2m 2s

Artifacts –

format-check.yml

on: pull_request