9 Commits (5251109517aa0d294e39bf809600343d8ff29ecb)

Author SHA1 Message Date
Nicolas Favre-Felix 35f4900bbb
Update GitHub Actions runner
ubuntu-18.04 was turned off on April 1st, 2023.
Moving to the next version, ubuntu-20.04
1 year ago
Nicolas Favre-Felix 7cec889947
Allow manual runs of "build" GitHub Action 3 years ago
Jessie Murray 6556039e05
Only process `Connection: close` header if full request was read (fixes #194) (#195) 3 years ago
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