6 Commits (0e6ef3f7c90ec297ceae2a29bf104a3c4fef53df)

Author SHA1 Message Date
Nicolas Favre-Felix 4b5923f685
Add CodeQL workflow
* Configures code scanning for C
* Adds built-in "security and quality" suite
* Imports more CodeQL queries from GitHub repo
3 years ago
Jessie Murray b3eded6a1c
Add build (+ test) workflow for GitHub Actions (#191)
Performs the same tasks as on CircleCI and adds badge to README.md.
No change made to the CircleCI config.
4 years ago
Nicolas Favre-Felix f9890be2c7
Remove CodeQL until I can figure out how to run it locally 4 years ago
Nicolas Favre-Felix 6e9b37a1c2
Remove build step from CodeQL analysis 4 years ago
Nicolas Favre-Felix 842c20fd08
Change CodeQL language to `cpp` (from `c`), use custom build step 4 years ago
Nicolas Favre-Felix 9460b93eec
Add GitHub workflow for CodeQL analysis 4 years ago