Skip to content
Kani CI

Remove the thread pool from future::Cache #118

Sign in to view logs

Remove the thread pool from future::Cache

Remove the thread pool from future::Cache #118

Triggered via push August 22, 2023 23:40
@tatsuya6502tatsuya6502
pushed 6a9ba9a
async-cancellation-safety
Status Success
Total duration 1m 17s
Artifacts –

Kani.yml

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