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

Overview Commits 7 Changes View On GitHub

Add workspace where useful, add cargo careful job #33

HadrienG2 merged 7 commits into master from careful
HadrienG2
HadrienG2 Add workspace where useful, add cargo careful job
111ec9c8
HadrienG2 Don't need macos for cargo careful tests
0696dc35
HadrienG2 Fix cargo-careful job on Windows, deduplicate flags
d96ad5a9
HadrienG2 Cargo examples is not needed for the cargo-careful run
fb6623d2
HadrienG2 Achieve complete PositiveInt test coverage
9245eed8
HadrienG2 HadrienG2 enabled auto-merge 353 days ago
HadrienG2 Fix lints
25c34315
HadrienG2 Bring back cargo-careful install
88405d10
HadrienG2 HadrienG2 merged baea2f94 into master 353 days ago
HadrienG2 HadrienG2 deleted the careful branch 353 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum