Decouple kani
version from kani-github-action
version
#87
Job | Run time |
---|---|
7s | |
7s |
kani
version from kani-github-action
version
#87
Job | Run time |
---|---|
7s | |
7s |