Skip to content
Kani

test: litesvm 0.13.1 + sbpf v3 (validating removal of the sbpf pin) #20

Sign in to view logs

test: litesvm 0.13.1 + sbpf v3 (validating removal of the sbpf pin)

test: litesvm 0.13.1 + sbpf v3 (validating removal of the sbpf pin) #20

Workflow file for this run

.github/workflows/kani.yml at 2767043

File not found

The workflow file could not be found.