mirror of
https://github.com/github/codeql.git
synced 2026-05-03 20:58:03 +02:00
Revert "Merge pull request #5171 from RasmusWL/restructure-queries"
This reverts commit8caafb3710, reversing changes made toec79094957.
This commit is contained in:
@@ -0,0 +1,6 @@
|
||||
from tempfile import NamedTemporaryFile
|
||||
|
||||
def write_results(results):
|
||||
with NamedTemporaryFile(mode="w+", delete=False) as f:
|
||||
f.write(results)
|
||||
print("Results written to", f.name)
|
||||
Reference in New Issue
Block a user