Skip to content
Kani CI

Improve async cancellation safety of future::Cache #134

Sign in to view logs

Improve async cancellation safety of future::Cache

Improve async cancellation safety of future::Cache #134

Triggered via push August 26, 2023 16:32
@tatsuya6502tatsuya6502
pushed eef7157
async-cancellation-safety
Status Success
Total duration 2m 49s
Artifacts –

Kani.yml

on: push
run-kani
2m 39s
run-kani
Fit to window
Zoom out
Zoom in