Decouple kani
version from kani-github-action
version
#89
Job | Run time |
---|---|
6s | |
6s |
kani
version from kani-github-action
version
#89
Job | Run time |
---|---|
6s | |
6s |