Skip to content
Snippets Groups Projects
user avatar
Boris Feld authored
Update `update-benchrepo` script to rename partial archives if the benchrepo
hash has been updated and the partial archives are present on disk.
e3b09883
History
Name Last commit Last update