]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #2768 from bdarnell/ci-revamp
authorBen Darnell <ben@bendarnell.com>
Sun, 3 Nov 2019 22:08:52 +0000 (17:08 -0500)
committerGitHub <noreply@github.com>
Sun, 3 Nov 2019 22:08:52 +0000 (17:08 -0500)
build: Revamp test/CI configuration


Trivial merge