This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Commit b64d346

authored

Temporarily disable CodeQL analysis

#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.

1 parent 18db1fe commit b64d346Copy full SHA for b64d346

1 file changed

+0

-45

lines changed

.github/workflows
- codeql-analysis.yml

1 file changed

+0

-45

lines changed

`‎.github/workflows/codeql-analysis.yml`

This file was deleted.

Comments

(0)