Skip to content
Kani Format Check

Merge remote-tracking branch 'origin/main' into cbmc-viewer-3.9 #370

Sign in to view logs

Merge remote-tracking branch 'origin/main' into cbmc-viewer-3.9

Merge remote-tracking branch 'origin/main' into cbmc-viewer-3.9 #370

Triggered via push July 23, 2024 19:38
@tautschnigtautschnig
pushed 51d9d3d
cbmc-viewer-3.9
Status Success
Total duration 2m 22s
Artifacts –

format-check.yml

on: push
format-check
9s
format-check
clippy-check
2m 9s
clippy-check
Fit to window
Zoom out
Zoom in