summaryrefslogtreecommitdiff
path: root/.github/workflows/codeql-buildscript.sh
diff options
context:
space:
mode:
authorhathach <[email protected]>2025-11-10 11:02:20 +0700
committerhathach <[email protected]>2025-11-10 11:02:20 +0700
commit6364a4df7a6e3a2b3583fe11a88665f06d18628b (patch)
tree45e0a0b2f8acfd811cce050475fc828bc2e034d2 /.github/workflows/codeql-buildscript.sh
parent989acc15287f86bb1fd3f262d69b3dc9c9c28da8 (diff)
parent96f35fc0a559aa09da70e0dede5a43081615723f (diff)
Merge branch 'master' into fork/c1570/improved_docs
Diffstat (limited to '.github/workflows/codeql-buildscript.sh')
-rw-r--r--.github/workflows/codeql-buildscript.sh6
1 files changed, 0 insertions, 6 deletions
diff --git a/.github/workflows/codeql-buildscript.sh b/.github/workflows/codeql-buildscript.sh
deleted file mode 100644
index 272b55d22..000000000
--- a/.github/workflows/codeql-buildscript.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/usr/bin/env bash
-
-FAMILY=stm32l4
-pip install click
-python3 tools/get_deps.py $FAMILY
-python3 tools/build.py -s make $FAMILY