search

os-checker / MIRAI

docker image: zjpzjp/mirai:latest
MIT License
0 stars 0 forks source link

MIRAI only checks libs? #4

Closed zjp-CN closed 2 months ago

zjp-CN commented 2 months ago

https://github.com/os-checker/dockerfiles/actions/runs/10804743095/job/29970691727

# shopping_cart is a bin crate
$ MIRAI_FLAGS=--diag=verify cargo mirai -p shopping_cart
error: no library targets found in package `shopping_cart`
zjp-CN commented 2 months ago

??? https://github.com/os-checker/dockerfiles/actions/runs/10804842272/job/29970965542

# mirai-standard-contracts is a lib crate
$ MIRAI_FLAGS=--diag=verify cargo mirai -p mirai-standard-contracts
    Checking mirai-annotations v1.12.1 (/home/runner/work/dockerfiles/dockerfiles/annotations)
    Checking mirai-standard-contracts v0.0.1 (/home/runner/work/dockerfiles/dockerfiles/standard_contracts)
    Finished dev [unoptimized + debuginfo] target(s) in 1.05s
    Finished dev [unoptimized + debuginfo] target(s) in 0.03s
error: no bin target named `cargo-mirai`.
zjp-CN commented 2 months ago

Probably the Cargo arguments are not properly handled in MIRAI.

Entering the package dir to run MIRAI works:

cd standard_contracts
MIRAI_FLAGS=--diag=verify cargo mirai