Skip to content

Commit

Permalink
Temporarily disable CodeQL analysis
Browse files Browse the repository at this point in the history 
github#184 added a regression test for the non-termination it was fixing. The fix hasn't made it into Code Scanning yet, so for the time being it will fail with precisely that non-termination when analysing the regression tests.
  • Loading branch information
@max-schaefer
max-schaefer authored Jun 22, 2020
1 parent 18db1fe commit b64d346
Showing 1 changed file with 0 additions and 45 deletions.
45 changes: 0 additions & 45 deletions .github/workflows/codeql-analysis.yml
View file

This file was deleted.

0 comments on commit b64d346

Please sign in to comment.