Deleting a branch is permanent. It CANNOT be undone. Continue?
nix_dep_updates
у master
пре 1 година
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?
This addresses #611
(don’t worry about the CI failing, sometime when updating dependencies it run out of memory and fail, that’s the problem when compiling on 36 cores with 4Gio of ram)
Codecov Report
Reviewers
fb1668ede7
.