Add required property run-on

cryspen · Oct 9, 2024 · 399611b · 399611b
1 parent 7dfad4a
commit 399611b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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]