rarias/ovni
rarias/ovni
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Update bootstrap ovni version in CI

Browse Source
This commit is contained in:
Rodrigo Arias 2022-12-16 09:54:53 +01:00
parent e47cf8fe22
commit 877bbcd9de
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
nix/rt.nix
View File

@ -20,8 +20,8 @@ let
ovniFixed = last.ovni.overrideAttrs (old: { ovniFixed = last.ovni.overrideAttrs (old: {
src = builtins.fetchGit { src = builtins.fetchGit {
url = "ssh://git@bscpm03.bsc.es/rarias/ovni.git"; url = "ssh://git@bscpm03.bsc.es/rarias/ovni.git";
ref = "nanos6-emu-with-tests"; ref = "master";
rev = "3d39b8cc544140727c83a066a8fca785aff21965"; rev = "e47cf8fe22f79d9315e057376b4166013c2217a4";
}; };
}); });