Het verwijderen van een branch is permanent. Het KAN NIET ongedaan gemaakt worden. Wil je toch doorgaan?
nix_dep_updates
naar master
1 jaar geleden
Geen vervaldatum ingesteld.
Deze pull-aanvraag heeft momenteel geen afhankelijkheden.
Het verwijderen van een branch is permanent. Het KAN NIET ongedaan gemaakt worden. Wil je toch doorgaan?
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
.