Skip to content
Kani CI

Add lightweight post-removal observer to future::Cache #908

Sign in to view logs

Add lightweight post-removal observer to future::Cache

Add lightweight post-removal observer to future::Cache #908

This workflow is awaiting approval from a maintainer in #607
Triggered via pull request October 4, 2026 10:28
@javaquasarjavaquasar
synchronize #607
javaquasar:feature/post-removal-observer
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #607

Kani.yml

on: pull_request
pre_job
pre_job
run-kani
run-kani
Fit to window
Zoom out
Zoom in