diff --git a/default.nix b/default.nix index b06b074fa86..ac2abd61328 100644 --- a/default.nix +++ b/default.nix @@ -35,8 +35,8 @@ let real-dvm = then let dev = builtins.fetchGit { url = "ssh://git@github.com/dfinity-lab/dev"; - ref = "joachim/more-logging"; - rev = "70d3b158611c96fe5e82b66d4a62c9d02bcd5345"; + ref = "master"; + rev = "55724569782676b1e08fdce265b7daddaeaec860"; }; in (import dev {}).dvm else null @@ -95,9 +95,10 @@ rec { "test/" "test/.*Makefile.*" "test/quick.mk" - "test/(run.*|fail)/" - "test/(run.*|fail)/.*.as" - "test/(run.*|fail)/ok/.*" + "test/(fail|run|run-dfinity)/" + "test/(fail|run|run-dfinity)/.*.as" + "test/(fail|run|run-dfinity)/ok/" + "test/(fail|run|run-dfinity)/ok/.*.ok" "test/.*.sh" "samples/" "samples/.*" @@ -154,9 +155,10 @@ rec { "test/" "test/.*Makefile.*" "test/quick.mk" - "test/(run.*|fail)/" - "test/(run.*|fail)/.*.as" - "test/(run.*|fail)/ok/.*" + "test/(fail|run|run-dfinity)/" + "test/(fail|run|run-dfinity)/.*.as" + "test/(fail|run|run-dfinity)/ok/" + "test/(fail|run|run-dfinity)/ok/.*.ok" "test/.*.sh" "samples/" "samples/.*"