forked from atomvm/AtomVM
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Signed-off-by: Peter M <[email protected]>
- Loading branch information
Showing
1 changed file
with
112 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,112 @@ | ||
# | ||
# Copyright 2024 Peter Madsen-Mygdal <[email protected]> | ||
# | ||
# SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later | ||
# | ||
# CodeChecker-Action https://github.com/whisperity/CodeChecker-Action | ||
# for running | ||
# CodeChecker https://github.com/Ericsson/CodeChecker/ | ||
# | ||
# Will optionally upload to a CodeChecker Web server | ||
# if the following GH secrets are set: | ||
# | ||
# CODECHECKER_STORE_PRODUCT_URI eg. https://server.com/product (nb no trailing slash) | ||
# CODECHECKER_STORE_USER user_name with PRODUCT_STORE and PRODUCT_VIEW permission | ||
# CODECHECKER_STORE_PASSWORD | ||
# | ||
|
||
name: "CodeChecker" | ||
|
||
on: | ||
push: | ||
paths-ignore: | ||
- "libs/**" | ||
- "doc/**" | ||
- "LICENSES/**" | ||
- "*.Md" | ||
- "*.md" | ||
pull_request: | ||
paths-ignore: | ||
- "libs/**" | ||
- "doc/**" | ||
- "LICENSES/**" | ||
- "*.Md" | ||
- "*.md" | ||
|
||
concurrency: | ||
group: ${{ github.workflow }}-${{ github.ref != 'refs/heads/master' && github.ref || github.run_id }} | ||
cancel-in-progress: true | ||
|
||
jobs: | ||
analyze: | ||
name: CodeChecker Analyze | ||
runs-on: ubuntu-latest | ||
env: | ||
CC: gcc-13 | ||
CXX: g++-13 | ||
CC_ANALYZER_BIN: gcc:/usr/bin/g++-13 | ||
permissions: | ||
actions: read | ||
contents: read | ||
security-events: write | ||
|
||
strategy: | ||
fail-fast: false | ||
matrix: | ||
language: ["cpp"] | ||
|
||
steps: | ||
- uses: erlef/setup-beam@v1 | ||
with: | ||
otp-version: 25 | ||
elixir-version: 1.15 | ||
- name: "APT update" | ||
run: sudo apt update -y | ||
|
||
- name: "Install deps" | ||
run: sudo apt install -y gcc-13 g++-13 cmake gperf zlib1g-dev ninja-build erlang libmbedtls-dev cppcheck valgrind | ||
|
||
- name: "Checkout repository" | ||
uses: actions/checkout@v4 | ||
|
||
- name: "Prepare Build" | ||
run: | | ||
mkdir build | ||
cd build | ||
cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS=OFF | ||
- name: Check for CodeChecker Web CODECHECKER_STORE_PRODUCT_URI availability | ||
id: product_uri-check | ||
# perform product_uri-check & put boolean result as an output | ||
# needed as GH doesn't yet allow checking for empty secrets in conditionals | ||
shell: bash | ||
run: | | ||
if [ "${{ secrets.CODECHECKER_STORE_PRODUCT_URI }}" != '' ]; then | ||
echo "product_uri_available=true" >> $GITHUB_OUTPUT; | ||
else | ||
echo "product_uri_available=false" >> $GITHUB_OUTPUT; | ||
fi | ||
- uses: whisperity/codechecker-analysis-action@v1 | ||
id: codechecker | ||
with: | ||
ctu: true | ||
build-command: "cd ${{ github.workspace }}/build; make" | ||
store: ${{ github.event_name == 'push' && steps.product_uri-check.outputs.product_uri_available == 'true' }} | ||
store-url: ${{ secrets.CODECHECKER_STORE_PRODUCT_URI }} | ||
store-username: ${{ secrets.CODECHECKER_STORE_USER }} | ||
store-password: ${{ secrets.CODECHECKER_STORE_PASSWORD }} | ||
diff: ${{ github.event_name == 'pull_request' && steps.product_uri-check.outputs.product_uri_available == 'true' }} | ||
diff-url: ${{ secrets.CODECHECKER_STORE_PRODUCT_URI }} | ||
diff-username: ${{ secrets.CODECHECKER_STORE_USER }} | ||
diff-password: ${{ secrets.CODECHECKER_STORE_PASSWORD }} | ||
# Upload the results to the CI. | ||
- uses: actions/upload-artifact@v4 | ||
with: | ||
name: "CodeChecker Bug Reports" | ||
path: ${{ steps.codechecker.outputs.result-html-dir }} | ||
|
||
# Upload the results to the CI, if diff resulted in additional warnings. | ||
- uses: actions/upload-artifact@v4 | ||
if: ${{ steps.codechecker.outputs.warnings-in-diff == 'true' }} | ||
with: | ||
name: "New introduced results Bug Reports" | ||
path: ${{ steps.codechecker.outputs.diff-html-dir }} |