Skip to content
Kani CI

Prevent pending run_pending_tasks of future::Cache from causing busy loop in schedule_write_op #455

Sign in to view logs

Prevent pending run_pending_tasks of future::Cache from causing busy loop in schedule_write_op

Prevent pending run_pending_tasks of future::Cache from causing busy loop in schedule_write_op #455

Triggered via pull request April 11, 2024 01:21
@tatsuya6502tatsuya6502
synchronize #415
avoid-async-scheduler-busy-loop
Status Success
Total duration 1m 24s
Artifacts –

Kani.yml

on: pull_request
pre_job
5s
pre_job
run-kani
1m 3s
run-kani
Fit to window
Zoom out
Zoom in