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

Triggered via pull request June 6, 2026 11:53

27Bslash6

opened #44

ci/kani-no-fail-open

Status Cancelled

Total duration 4m 59s

Artifacts –

codeql.yml

on: pull_request

2 errors

Canceling since a higher priority waiting request for CodeQL-refs/pull/44/merge exists

Canceling since a higher priority waiting request for CodeQL-refs/pull/44/merge exists