[CI] Minor change for Eva alternative configs.

271573dc · David Bühler · 9b95c125 · 271573dc
Commit 271573dc authored 3 years ago by David Bühler
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -236,8 +236,10 @@ pkgs.lib.makeExtensible
            true
        '';
        buildPhase = ''
+               make clean_share_link
+               make create_share_link
               export CONFIGS="equality bitwise symblocs gauges octagon"
-               src/plugins/value/vtests
+               src/plugins/value/vtests -j 4
        '';
        installPhase = ''
               true