Upgrade CodeQL to v3

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
2024-09-19 20:27:00 +02:00
parent 4fe1c0804c
commit f98df743f9
3 changed files with 4 additions and 5 deletions
--- a/workflows/autobuild.sh
+++ b/workflows/autobuild.sh
@@ -7,7 +7,7 @@ git clone https://github.com/raspberrypi/pico-sdk
 cd pico-sdk
 git submodule update --init
 cd ..
-mkdir build
-cd build
+mkdir build_pico
+cd build_pico
 cmake -DPICO_SDK_PATH=../pico-sdk ..
 make