]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
projects / thirdparty / tornado.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d714643 012499d)
Merge pull request #3262 from bdarnell/build-dispatch
authorBen Darnell <ben@bendarnell.com>
Tue, 2 May 2023 23:33:28 +0000 (19:33 -0400)
committerGitHub <noreply@github.com>
Tue, 2 May 2023 23:33:28 +0000 (19:33 -0400)
ci: Enable manual dispatch for build workflow


Trivial merge
Mirror of https://github.com/tornadoweb/tornado.git