Forgot kani flags... #2
Alexander-AghiliAnnotations
1 error
|
build
Unable to resolve action `model-checking/[email protected] --workspace --exclude monitor -Z stubbing`, unable to find version `v1.1 --workspace --exclude monitor -Z stubbing`
|