ci: run cva6 pickle test only on linux

Author: joennlae

.github/workflows/ci.yml

@@ -55,14 +55,15 @@ jobs:
       if: matrix.os == 'macos-latest'
     - name: Install bender
       run: cargo install bender
+      if: matrix.os == 'ubuntu-latest'
     - name: Install slang
       run: |
         sudo mkdir -p /tools && sudo chmod 777 /tools
         cd /tools && git clone https://github.com/MikePopoloski/slang.git && cd slang && git checkout v2.0
         echo $PWD
         cmake -B build && cmake --build build -j$(nproc)
         cmake --install build --strip
-      if: matrix.os == 'ubuntu-latest' || matrix.os == 'macos-latest'
+      if: matrix.os == 'ubuntu-latest'
     - name: Build
       run: cargo build --verbose
     - name: Run tests

tests/cli_tests.rs

@@ -88,7 +88,7 @@ mod tests {
         Ok(())
     }
 
-    #[cfg(not(target_os = "windows"))]
+    #[cfg(target_os = "linux")]
     #[test]
     fn test_cva6() -> Result<(), Box<dyn std::error::Error>> {
         // debug with -- --nocapture