Skip to content

Commit

Permalink
[INFRA] Add CodeChecker
Browse files Browse the repository at this point in the history
  • Loading branch information
eseiler committed Nov 26, 2024
1 parent bfa237e commit 05073ab
Show file tree
Hide file tree
Showing 4 changed files with 77 additions and 0 deletions.
8 changes: 8 additions & 0 deletions .github/config/codechecker.skip.analyze
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
# SPDX-FileCopyrightText: 2006-2024, Knut Reinert & Freie Universität Berlin
# SPDX-FileCopyrightText: 2016-2024, Knut Reinert & MPI für molekulare Genetik
# SPDX-License-Identifier: CC0-1.0

-${GITHUB_WORKSPACE}/include/seqan3/contrib/*
+${GITHUB_WORKSPACE}/include/seqan3/*
+${GITHUB_WORKSPACE}/test/*
-*
7 changes: 7 additions & 0 deletions .github/config/codechecker.skip.parse
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# SPDX-FileCopyrightText: 2006-2024, Knut Reinert & Freie Universität Berlin
# SPDX-FileCopyrightText: 2016-2024, Knut Reinert & MPI für molekulare Genetik
# SPDX-License-Identifier: CC0-1.0

-${GITHUB_WORKSPACE}/include/seqan3/contrib/*
+${GITHUB_WORKSPACE}/include/seqan3/*
-*
21 changes: 21 additions & 0 deletions .github/config/codechecker.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
# SPDX-FileCopyrightText: 2006-2023, Knut Reinert & Freie Universität Berlin
# SPDX-FileCopyrightText: 2016-2023, Knut Reinert & MPI für molekulare Genetik
# SPDX-License-Identifier: CC0-1.0

analyze:
- --enable=bugprone
- --enable=performance
- --disable=bugprone-easily-swappable-parameters
- --disable=cert-dcl58-cpp
- --disable=clang-diagnostic-float-conversion
- --disable=clang-diagnostic-implicit-int-conversion
- --disable=clang-diagnostic-implicit-int-float-conversion
- --disable=google-build-namespaces
- --skip=${GITHUB_WORKSPACE}/.github/config/codechecker.skip.analyze
- --clean

parse:
- --export=html
- --output=./html
- --skip=${GITHUB_WORKSPACE}/.github/config/codechecker.skip.parse
- --trim-path-prefix=${GITHUB_WORKSPACE}/
41 changes: 41 additions & 0 deletions .github/workflows/ci_codechecker.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
# SPDX-FileCopyrightText: 2006-2023, Knut Reinert & Freie Universität Berlin
# SPDX-FileCopyrightText: 2016-2023, Knut Reinert & MPI für molekulare Genetik
# SPDX-License-Identifier: CC0-1.0

name: CodeChecker

on:
schedule:
- cron: "0 2 * * WED"
workflow_dispatch:

concurrency:
group: codechecker-${{ github.ref }}
cancel-in-progress: true

env:
SEQAN3_NO_VERSION_CHECK: 1
TZ: Europe/Berlin

defaults:
run:
shell: bash -Eexuo pipefail {0}

jobs:
build:
name: CodeChecker
runs-on: ubuntu-latest
if: github.repository_owner == 'seqan' || github.event_name == 'workflow_dispatch'
container:
image: ghcr.io/seqan/clang-19
volumes:
- /home/runner:/home/runner
steps:
- name: Run CodeChecker
uses: seqan/actions/codechecker@main
with:
configure_path: ../test/unit
deploy_host: ${{ secrets.DEPLOY_HOST }}
deploy_user: ${{ secrets.DEPLOY_USER }}
deploy_ssh_key: ${{ secrets.DEPLOY_SSH_KEY }}
deploy_path: ${{ secrets.DEPLOY_CODECHECKER_PATH }}

0 comments on commit 05073ab

Please sign in to comment.