Cherry pick from #996

[imkiva]

[imkiva]

bors merge

[imkiva]

What about moving this workflow to other places like project-generator? @ice1000

[codecov]

Codecov Report

Merging #997 (80a6c23) into main (ecb09b2) will not change coverage.
Report is 3 commits behind head on main.
The diff coverage is n/a.

@@            Coverage Diff            @@
##               main     #997   +/-   ##
=========================================
  Coverage     81.79%   81.79%           
  Complexity     3445     3445           
=========================================
  Files           281      281           
  Lines         10511    10511           
  Branches       1276     1276           
=========================================
  Hits           8597     8597           
  Misses         1202     1202           
  Partials        712      712           

[bors]

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• commit-check
• gradle-check

[ice1000]

What about moving this workflow to other places like project-generator? @ice1000

I'll see what I can do. You're welcome to do this if you would like to😆