Skip to content
Kani Format Check

Hack the driver to run Aeneas #541

Sign in to view logs

Hack the driver to run Aeneas

Hack the driver to run Aeneas #541

Triggered via push September 26, 2024 20:15
@zhassan-awszhassan-aws
pushed 6654401
llbc-driver-hacks
Status Failure
Total duration 2m 0s
Artifacts –

format-check.yml

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

Annotations

2 errors
format-check
Process completed with exit code 1.
clippy-check
Process completed with exit code 101.