ci: harden Security workflow — Kani fails loud + deep-fuzz pool starvation fix · cachekit-io/cachekit-core@4c49c7b

Triggered via pull request June 6, 2026 12:21

27Bslash6

synchronize #44

ci/kani-no-fail-open

Status Success

Total duration 7m 19s

Artifacts –

codeql.yml

on: pull_request

1 warning

Cannot build an overlay database because build-mode is set to "undefined" instead of "none". Falling back to creating a normal full database instead.