SemanticDiff hwlocality
Fixes uncovered by nightly CI
#38
Merged

Overview Commits 3 Changes View On GitHub

Fixes uncovered by nightly CI #38

HadrienG2 merged 3 commits into master from ci-fixes
HadrienG2
HadrienG2 Use same CI workaround for old curl issues as other repos
bb5cf85e
HadrienG2 Apply a bunch of clippy lints
7df45731
HadrienG2 HadrienG2 enabled auto-merge 351 days ago
codecov
HadrienG2 Account for absence of MemCache in older hwloc
308f4a65
HadrienG2 HadrienG2 merged 002d71e1 into master 351 days ago
HadrienG2 HadrienG2 deleted the ci-fixes branch 351 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