Update CI for new boards

cryspen · Nov 4, 2024 · 07bf88b · 07bf88b
1 parent 362ec64
commit 07bf88b
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -15,14 +15,20 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        board_directory: [libcrux-nrf52840, libcrux-nucleo-l4r5zi]
+        board_directory: [
+                          libcrux-nucleo-l4r5zi,
+                          libcrux-nrf52840,
+                          libcrux-nrf52810,
+                          libcrux-nrf52832,
+                          libcrux-nrf5340,
+                         ]
 
     steps:
       - uses: actions/checkout@v4
 
       - uses: dtolnay/rust-toolchain@stable
         with:
-          targets: thumbv7em-none-eabihf,thumbv7em-none-eabi
+          targets: thumbv7em-none-eabihf,thumbv7em-none-eabi,thumbv8m.main-none-eabihf
 
       - name: Install flip-link
         run: cargo install flip-link