5 Commits (6e08e94763eea1bd0f8b28c11cde04679f76e88e)

Author SHA1 Message Date
Nicolas Favre-Felix 9a29a85a94
GHA: upgrade Ubuntu, include Websocket tests
* Switch from Ubuntu 18.04 to 20.04
* Install WS dependency with pip
* Run WS tests as part of the "build" GHA
1 year ago
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
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