]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3100 from tornadoweb/ghactions
authorBen Darnell <ben@bendarnell.com>
Sun, 16 Jan 2022 21:48:42 +0000 (16:48 -0500)
committerGitHub <noreply@github.com>
Sun, 16 Jan 2022 21:48:42 +0000 (16:48 -0500)
ci: move CI to github actions


Trivial merge