ci: move to GH actions #1
robjtedeAnnotations
10 errors and 1 warning
|
Coverage:
tests/traits.rs#L46
cannot find macro `precondition` in this scope
|
|
Coverage:
tests/implication.rs#L28
cannot find macro `postcondition` in this scope
|
|
Coverage:
tests/implication.rs#L13
cannot find macro `postcondition` in this scope
|
|
Coverage:
tests/traits.rs#L46
cannot find macro `precondition` in this scope
|
|
Coverage:
tests/implication.rs#L12
cannot find macro `postcondition` in this scope
|
|
Coverage:
tests/traits.rs#L16
cannot find macro `precondition` in this scope
|
|
Coverage:
tests/ranged_int.rs#L26
cannot find macro `postcondition` in this scope
|
|
Coverage:
tests/ranged_int.rs#L25
cannot find macro `postcondition` in this scope
|
|
Coverage:
tests/ranged_int.rs#L20
cannot find macro `precondition` in this scope
|
|
Coverage:
tests/functions.rs#L14
cannot find macro `precondition` in this scope
|
|
Coverage
Cache not found for keys: v0-rust-coverage-Linux-x64-a4d893e0-d6633196, v0-rust-coverage-Linux-x64-a4d893e0
|