align CI with the upstream settings for Actions#393
Merged
shiftkey merged 9 commits intolinuxfrom tidy-up-ciDec 17, 2020
+12-101
Commits
Commits on Dec 17, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
