Skip to content
Kani CI

Implement TypeSize for Cache #58

Sign in to view logs

Implement TypeSize for Cache

Implement TypeSize for Cache #58

Triggered via pull request September 10, 2024 21:16
@GnomedDevGnomedDev
opened #42
GnomedDev:typesize
Status Failure
Total duration 47s
Artifacts –

Kani.yml

on: pull_request
run-kani
37s
run-kani
Fit to window
Zoom out
Zoom in

Annotations

1 error
run-kani
Process completed with exit code 1.