Skip to content

Make a single call to run_pending_tasks to evict as many entries as possible from the cache #473

Make a single call to run_pending_tasks to evict as many entries as possible from the cache

Make a single call to run_pending_tasks to evict as many entries as possible from the cache #473

Re-run triggered April 15, 2024 23:32
Status Failure
Total duration 36s
Artifacts

Kani.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

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