Skip to content
Kani Format Check

Fix cbmc-nightly for macOS #400

Sign in to view logs

Fix cbmc-nightly for macOS

Fix cbmc-nightly for macOS #400

Triggered via push July 31, 2024 15:35
@tautschnigtautschnig
pushed 29140a8
fix-cbmc-nightly
Status Success
Total duration 3m 36s
Artifacts –

format-check.yml

on: push
format-check
8s
format-check
clippy-check
3m 24s
clippy-check
Fit to window
Zoom out
Zoom in