Skip to content
Kani CI

Fix a bug that eviction listener's key-level locks are not removed #61

Sign in to view logs

Fix a bug that eviction listener's key-level locks are not removed

Fix a bug that eviction listener's key-level locks are not removed #61

Triggered via push August 3, 2023 12:44
@tatsuya6502tatsuya6502
pushed e86682b
fix-eviction-listener-key-lock-v011
Status Success
Total duration 1m 34s
Artifacts –

Kani.yml

on: push
run-kani
1m 22s
run-kani
Fit to window
Zoom out
Zoom in