Improve async cancellation safety of `future::Cache` (v0.12.0-beta.X) #133

Sign in to view logs

Summary
Jobs
- run-kani
Run details
- Usage
- Workflow file

Triggered via pull request August 26, 2023 15:13

tatsuya6502

synchronize #309

async-cancellation-safety

Status Success

Total duration 6m 56s

Artifacts –

Kani.yml

on: pull_request