From 15e7b951496ad65ed20b9ed99dbd9db9df45e6d9 Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Wed, 13 Dec 2023 12:40:24 +0100
Subject: [PATCH] ci: also build for microbit-v2

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index acfae8565..696a46808 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -57,7 +57,7 @@ jobs:
       run: |
         sccache --start-server || true # work around https://github.com/ninja-build/ninja/issues/2052
 
-        laze build --partition hash:${{ matrix.partition }} --builders nrf52840dk,rpi-pico -g
+        laze build --partition hash:${{ matrix.partition }} --builders microbit-v2,nrf52840dk,rpi-pico -g
 
   CI-success:
       if: ${{ always() }}