Skip to content
Kani CI

Entry Snapshot - Add unit tests for the `policy_ext().entry_snapshot(… #662

Sign in to view logs

Entry Snapshot - Add unit tests for the `policy_ext().entry_snapshot(…

Entry Snapshot - Add unit tests for the `policy_ext().entry_snapshot(… #662

Triggered via push February 16, 2025 09:34
@tatsuya6502tatsuya6502
pushed a6cafb4
cold-entries
Status Success
Total duration 14s
Artifacts –

Kani.yml

on: push
pre_job
4s
pre_job
run-kani
0s
run-kani
Fit to window
Zoom out
Zoom in