| name: "CodeQL" |
| |
| on: |
| push: |
| branches: [master] |
| pull_request: |
| # The branches below must be a subset of the branches above |
| branches: [master] |
| schedule: |
| - cron: '0 0 * * 1' |
| |
| jobs: |
| analyze: |
| name: Analyze |
| runs-on: ubuntu-latest |
| |
| permissions: |
| # required for all workflows |
| security-events: write |
| |
| strategy: |
| fail-fast: false |
| matrix: |
| # Override automatic language detection by changing the below list |
| # Supported options are ['csharp', 'cpp', 'go', 'java', 'javascript', 'python'] |
| language: ['cpp', 'python'] |
| # Learn more... |
| # https://docs.github.com/en/github/finding-security-vulnerabilities-and-errors-in-your-code/configuring-code-scanning#overriding-automatic-language-detection |
| |
| steps: |
| - name: Checkout repository |
| uses: actions/checkout@v2 |
| |
| - name: Initialize CodeQL |
| uses: github/codeql-action/init@v1 |
| with: |
| languages: ${{ matrix.language }} |
| |
| - run: | |
| mkdir minisat_git && cd minisat_git |
| git clone --depth 1 https://github.com/stp/minisat |
| cd minisat |
| mkdir build && cd build |
| cmake .. |
| make |
| cd ../../.. |
| mkdir build && cd build |
| cmake .. |
| make |
| |
| - name: Perform CodeQL Analysis |
| uses: github/codeql-action/analyze@v1 |