github: fix bundler version

The latest version of bundler requires ruby 3.0, but we're still on 2.7 for now. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Dec 18, 2023 · 33940d6 · 33940d6
1 parent 96d1ff0
commit 33940d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -29,7 +29,7 @@ jobs:
         python-version: 3.9
     - run: pip3 install -U camkes-deps
     - run: sudo apt-get install doxygen
-    - run: sudo gem install bundler
+    - run: sudo gem install bundler -v 2.4.22
     - run: make build JEKYLL_ENV=production
     - run: tar -cvf site.tar _site/
     - uses: actions/upload-artifact@v3