diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d424a2e..7edebe4 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -12,6 +12,7 @@ env:
 
 jobs:
   build:
+    runs-on: ubuntu-latest
     strategy:
       matrix:
         board_directory: [libcrux-nrf52840, libcrux-nucleo-l4r5zi]