4 Commits (b59d866e0679622823f9050be4dfb7c3a6f979fb)

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
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