Skip to content
Kani Format Check

Add an LLBC backend #526

Sign in to view logs

Add an LLBC backend

Add an LLBC backend #526

Triggered via push September 16, 2024 23:29
@zhassan-awszhassan-aws
pushed 0ec052a
llbc4
Status Success
Total duration 2m 20s
Artifacts –

format-check.yml

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