diff options
| author | Tomek Mrugalski <tomek@isc.org> | 2023-03-09 14:51:56 +0100 |
|---|---|---|
| committer | Tomek Mrugalski <tomek@isc.org> | 2023-05-19 13:41:01 +0200 |
| commit | f90baece4685db7a43984dd05b57121f16ed1b6d (patch) | |
| tree | 9537d9cd66b86802936a195ac6f75904b2c39b1b /.github | |
| parent | [#2760] Check if Kea compilation is even needed (diff) | |
| download | kea-f90baece4685db7a43984dd05b57121f16ed1b6d.tar.xz kea-f90baece4685db7a43984dd05b57121f16ed1b6d.zip | |
[#2760] Added compilation back, python checks enabled
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/codeql.yml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 373dfa5e2b..3331790dbd 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -21,9 +21,7 @@ jobs: strategy: fail-fast: false matrix: - language: [ 'cpp' ] - # language: ['cpp', 'python'] - # CodeQL supports [ 'cpp', 'csharp', 'go', 'java', 'javascript', 'python', 'ruby' ] + language: [ 'cpp', 'python' ] steps: - name: Checkout repository @@ -54,8 +52,10 @@ jobs: - name: Build Kea run: | autoreconf -i - ./configure - # make -j2 + # We want to enable shell, so python files are generated. And CodeQL can + # check them. + ./configure --enable-shell + make -j2 # âšī¸ Command-line programs to run using the OS shell. # đ See https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idstepsrun |