[ci] fix CI to select correct device for openFPGALoader

Author: nbdd0121

.github/workflows/ci.yml

@@ -150,7 +150,7 @@ jobs:
 
     - name: Flash bitstream
       run: |
-        nix run .#bitstream-load
+        DEVICE=/dev/ttySONATA_JTAG_FPGA nix run .#bitstream-load
 
     - name: Run software tests
       run: |

nix/bitstream.nix

@@ -61,7 +61,11 @@ in {
     runtimeInputs = [pythonEnv pkgs.openfpgaloader];
     text = ''
       BITSTREAM=$(find ./ -type f -name "lowrisc_sonata_system_0.bit")
-      openFPGALoader -c ft4232 "$BITSTREAM"
+      if [[ -n "''${DEVICE-}" ]]; then
+        openFPGALoader -c ft4232 -d "$DEVICE" "$BITSTREAM"
+      else
+        openFPGALoader -c ft4232 "$BITSTREAM"
+      fi
     '';
   };
 }