Skip to content
Unverified Commit b9387a9d authored by Andreas Klöckner's avatar Andreas Klöckner Committed by GitHub
Browse files

Merge pull request #803 from inducer/add-codeql 

Add Github CodeQL
parents 991d0b07 a8c13103