Update upstream url
All checks were successful
Benchmark / builds and benchmarks (push) Successful in 1m55s

This commit is contained in:
Rodrigo Arias 2024-04-26 18:50:54 +02:00
parent 0f322bd894
commit 3ccc1d1421

View File

@ -35,11 +35,8 @@
bench6Master = bench6.overrideAttrs (old: { bench6Master = bench6.overrideAttrs (old: {
src = builtins.fetchGit { src = builtins.fetchGit {
url = "https://pm.bsc.es/gitlab/rarias/bench6.git"; url = "https://jungle.bsc.es/git/rarias/bench6";
#ref = "master"; ref = "master";
# FIXME: Just for testing
ref = "heat";
rev = "466e50e511e11087f6e9298b3ac851fcab7d459c";
}; };
}); });
}; };