Skip to content
Kani CI

Improve async cancellation safety of future::Cache #128

Sign in to view logs

Improve async cancellation safety of future::Cache

Improve async cancellation safety of future::Cache #128

Triggered via push August 26, 2023 11:23
@tatsuya6502tatsuya6502
pushed 4b85133
async-cancellation-safety
Status Success
Total duration 1m 23s
Artifacts –

Kani.yml

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