PR #33 Add workspace where useful, add cargo careful job

7 commit(s)

Add workspace where useful, add cargo careful job

HadrienG2 committed on 2023-10-02 14:05
Don't need macos for cargo careful tests

HadrienG2 committed on 2023-10-02 14:06
Fix cargo-careful job on Windows, deduplicate flags

HadrienG2 committed on 2023-10-02 14:28
Cargo examples is not needed for the cargo-careful run

HadrienG2 committed on 2023-10-02 14:30
Achieve complete PositiveInt test coverage

HadrienG2 committed on 2023-10-02 16:12
Fix lints

HadrienG2 committed on 2023-10-02 16:26
Bring back cargo-careful install

HadrienG2 committed on 2023-10-02 16:28

hwlocality Add workspace where useful, add cargo careful job #33 Merged