Shankara/picus backend

.github/workflows/ci_time_consuming.yml

@@ -17,8 +17,7 @@ jobs:
       - run: export PATH=~/.cargo/bin:$PATH
       - run: |
           source ~/.zkm-toolchain/env
-          for pkg in zkm-core-machine zkm-sdk zkm-verifier; do
-            cargo test -r -p $pkg
-          done
-        env:
-          RUSTFLAGS: "-C target-cpu=native"
+          cargo test -r -p zkm-core-machine
+          for pkg in zkm-sdk zkm-verifier; do
+            RUSTFLAGS="-C target-cpu=native" cargo test -r -p $pkg
+          done

.github/workflows/mdbook.yml

@@ -29,9 +29,9 @@ jobs:
   build:
     runs-on: self-hosted
     env:
-      MDBOOK_VERSION: 0.4.36
+      MDBOOK_VERSION: 0.4.52
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
       - name: Setup Pages
         id: pages
         uses: actions/configure-pages@v5

.gitignore

@@ -5,6 +5,8 @@ crates/test-artifacts/guests/Cargo.lock
 .vscode
 *.log
 bins
+*.s
+*.txt
 
 # Proofs
 **/proof-with-pis.bin