diff options
| author | hathach <[email protected]> | 2025-10-25 12:54:40 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2025-10-25 12:54:40 +0700 |
| commit | 6cc445ef0f3e7b29cfe2e3d90bb3364afbc424af (patch) | |
| tree | 9fb8046cd9108739ed2526f79afa4eb0f3faf999 /.github/actions | |
| parent | 5e3e24337f82582103ce7e9d8498c49547cab42b (diff) | |
download ninja binary, apt seems take too long ~ 1 min
also upload sarif as artifacts
Diffstat (limited to '.github/actions')
| -rw-r--r-- | .github/actions/get_deps/action.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/actions/get_deps/action.yml b/.github/actions/get_deps/action.yml index ae9e7bbef..b0d6d1066 100644 --- a/.github/actions/get_deps/action.yml +++ b/.github/actions/get_deps/action.yml @@ -19,7 +19,10 @@ runs: - name: Linux dependencies if: runner.os == 'Linux' run: | - sudo apt install -y ninja-build + NINJA_URL=https://github.com/ninja-build/ninja/releases/download/v1.13.1/ninja-linux.zip + wget $NINJA_URL -O ninja-linux.zip + unzip ninja-linux.zip -d ninja-bin + echo >> $GITHUB_PATH "${{ github.workspace }}/ninja-bin" shell: bash - name: Get Dependencies |