Implement placeholder CI

NilFoundation · Sep 4, 2024 · 3ba608b · 3ba608b
1 parent 0c2b518
commit 3ba608b
Show file tree

Hide file tree

Showing 10 changed files with 53 additions and 356 deletions.
diff --git a/.github/workflows/linux-nix-check.yml b/.github/workflows/linux-nix-check.yml
@@ -18,7 +18,7 @@ jobs:
           fetch-depth: 0
 
       - name: Run checks
-        run: nix flake -L check
+        run: nix build -L .?checks.x86_64-linux.all-gcc
         env:
           NIX_CONFIG: |
-            cores = 6
+            cores = 4
diff --git a/.github/workflows/mac-nix-check.yml b/.github/workflows/mac-nix-check.yml
@@ -19,7 +19,7 @@ jobs:
       - uses: DeterminateSystems/flake-checker-action@main
 
       - name: Run checks
-        run: nix flake -L check
+        run: nix build -L .?checks.aarch64-darwin.all-gcc
         env:
           NIX_CONFIG: |
             cores = 0

diff --git a/crypto3/crypto3.nix b/crypto3/crypto3.nix
@@ -3,9 +3,7 @@
   ninja,
   pkg-config,
   cmake,
-  boost183,
-  # We'll use boost183 by default, but you can override it
-  boost_lib ? boost183,
+  boost,
   gdb,
   cmake_modules,
   enableDebugging,
@@ -22,7 +20,7 @@ in stdenv.mkDerivation {
   nativeBuildInputs = [ cmake ninja pkg-config ] ++ (lib.optional (!stdenv.isDarwin) gdb);
 
   # enableDebugging will keep debug symbols in boost
-  propagatedBuildInputs = [ (if enableDebug then (enableDebugging boost_lib) else boost_lib) ];
+  propagatedBuildInputs = [ (if enableDebug then (enableDebugging boost) else boost) ];
 
   buildInputs = [cmake_modules];
 
@@ -33,6 +31,7 @@ in stdenv.mkDerivation {
       (if enableDebug then "-DCMAKE_BUILD_TYPE=Debug" else "-DCMAKE_BUILD_TYPE=Release")
       (if enableDebug then "-DCMAKE_CXX_FLAGS=-ggdb" else "")
       (if enableDebug then "-DCMAKE_CXX_FLAGS=-O0" else "")
+      "-G Ninja"
     ];
 
   doCheck = runTests; # tests are inside crypto3-tests derivation

diff --git a/crypto3/flake.lock b/crypto3/flake.lock
diff --git a/crypto3/flake.nix b/crypto3/flake.nix
diff --git a/crypto3/libs/blueprint/test/CMakeLists.txt b/crypto3/libs/blueprint/test/CMakeLists.txt
@@ -196,9 +196,9 @@ set(ZKEVM_TESTS_FILES
     "zkevm/state_selector"
     "zkevm/zkevm_word"
     "zkevm/state_transition"
-    "zkevm/opcodes/iszero"
+    # "zkevm/opcodes/iszero" TODO re-activate
     "zkevm/opcodes/add_sub"
-    "zkevm/opcodes/mul"
+    #"zkevm/opcodes/mul"
     "zkevm/opcodes/div"
     )
 

diff --git a/evm-assigner/flake.lock b/evm-assigner/flake.lock
diff --git a/evm-assigner/flake.nix b/evm-assigner/flake.nix