Skip to content
This repository has been archived by the owner on Jan 5, 2023. It is now read-only.

Temporarily disable CodeQL analysis #220

Merged
merged 1 commit into from
Jun 22, 2020
Merged

Temporarily disable CodeQL analysis #220

merged 1 commit into from
Jun 22, 2020

Commits on Jun 22, 2020

  1. Temporarily disable CodeQL analysis 

    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.
    @max-schaefer
    max-schaefer authored Jun 22, 2020
    Configuration menu
    Copy the full SHA
    b64d346 View commit details
    Browse the repository at this point in the history