diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index c4efc55a..e9ec68dd 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -62,28 +62,6 @@ jobs: - name: Verify using checker-framework run: mvn -B clean compile -P checker-framework - codeql: - needs: [checker-framework, test] - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v3 - - uses: actions/setup-java@v3 - with: - java-version: 11 - distribution: 'temurin' - cache: 'maven' - - - name: Initialize CodeQL - uses: github/codeql-action/init@v2 - with: - languages: java - - - name: Compile - run: mvn -B clean compile - - - name: Analyze - uses: github/codeql-action/analyze@v2 - deploy: needs: [checker-framework, test] runs-on: ubuntu-latest