prefer manual build

This commit is contained in:
Viktor Szakats 2025-09-12 00:13:17 +02:00
parent 9d47718982
commit 66372be9bd
No known key found for this signature in database
GPG key ID: B5ABD165E2AEF201

View file

@ -67,6 +67,7 @@ jobs:
security-events: write
steps:
- name: 'install prereqs'
timeout-minutes: 5
run: |
sudo rm -f /etc/apt/sources.list.d/microsoft-prod.list
sudo apt-get -o Dpkg::Use-Pty=0 update
@ -81,9 +82,14 @@ jobs:
uses: github/codeql-action/init@192325c86100d080feab897ff886c34abd4c83a3 # v3
with:
languages: cpp
build-mode: manual
- name: 'autobuild'
uses: github/codeql-action/autobuild@192325c86100d080feab897ff886c34abd4c83a3 # v3
- name: 'build'
timeout-minutes: 10
run: |
cmake -B . -G Ninja
cmake --build . --verbose
src/curl -V
- name: 'perform analysis'
uses: github/codeql-action/analyze@192325c86100d080feab897ff886c34abd4c83a3 # v3
@ -121,37 +127,3 @@ jobs:
- name: 'perform analysis'
uses: github/codeql-action/analyze@192325c86100d080feab897ff886c34abd4c83a3 # v3
c-core-manual:
name: 'C core manual'
runs-on: ubuntu-latest
permissions:
security-events: write
steps:
- name: 'install prereqs'
timeout-minutes: 5
run: |
sudo rm -f /etc/apt/sources.list.d/microsoft-prod.list
sudo apt-get -o Dpkg::Use-Pty=0 update
sudo rm -f /var/lib/man-db/auto-update
sudo apt-get -o Dpkg::Use-Pty=0 install libpsl-dev libbrotli-dev libidn2-dev libssh2-1-dev libnghttp2-dev libldap-dev
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4
with:
persist-credentials: false
- name: 'initialize'
uses: github/codeql-action/init@192325c86100d080feab897ff886c34abd4c83a3 # v3
with:
languages: cpp
build-mode: manual
- name: 'build'
timeout-minutes: 10
run: |
cmake -B . -G Ninja
cmake --build . --verbose
src/curl -V
- name: 'perform analysis'
uses: github/codeql-action/analyze@192325c86100d080feab897ff886c34abd4c83a3 # v3