diff --git a/.github/workflows/static-analyzer.yml b/.github/workflows/static-analyzer.yml index 53c9f85b9e..71fbd9cdd4 100644 --- a/.github/workflows/static-analyzer.yml +++ b/.github/workflows/static-analyzer.yml @@ -10,7 +10,7 @@ on: workflow_dispatch: jobs: - # source for using fedora: + # source for using Fedora via a container in the runner: # https://github.com/avocado-framework/avocado/actions/runs/2730087531/workflow#L15-L32 # and # https://github.com/actions/runner-images/issues/2307#issuecomment-1576493700 @@ -35,5 +35,13 @@ jobs: # and # https://github.com/actions/runner/pull/2517 run: | - echo ${GITHUB_WORKSPACE} - ls -l ${GITHUB_WORKSPACE} + cd ${GITHUB_WORKSPACE} + ./autogen.sh + ./configure \ + SECP_CFLAGS="-fanalyzer -fanalyzer-transitivity" \ + --disable-tests \ + --disable-exhaustive-tests \ + --disable-benchmark \ + --enable-experimental \ + --enable-module-frost + make