Skip to content
Kani

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

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) #22

Workflow file for this run

.github/workflows/kani.yml at f4a4d55

File not found

The workflow file could not be found.