From 07bf88bb67e554b0df5214d6255d146a522d7d7b Mon Sep 17 00:00:00 2001
From: Jonas Schneider-Bensch <jonas@cryspen.com>
Date: Mon, 4 Nov 2024 16:07:59 +0100
Subject: [PATCH] Update CI for new boards

---
 .github/workflows/build.yml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index b9532a3..a68d73f 100644
--- 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