diff options
| author | Brian <[email protected]> | 2023-11-27 12:14:38 -0500 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-11-27 12:14:38 -0500 |
| commit | 00484d18a5b89eb3a0e7cc138f34142f3464016d (patch) | |
| tree | 8ee6b2e4ed48985d21ca5b1f240bc044fe092b72 /.github | |
| parent | 490343b4d3e58afdba67f6a530c3b5aef2a36cf9 (diff) | |
Update codeql-buildscript.sh
Update script name
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/codeql-buildscript.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/codeql-buildscript.sh b/.github/workflows/codeql-buildscript.sh index 5b52f4d80..38d3714c1 100644 --- a/.github/workflows/codeql-buildscript.sh +++ b/.github/workflows/codeql-buildscript.sh @@ -1,5 +1,5 @@ #!/usr/bin/env bash FAMILY=stm32l4 -python3 tools/get_family_deps.py $FAMILY +python3 tools/get_deps.py $FAMILY python3 tools/build_family.py $FAMILY |