Merge branch '2020-07-15-ci-updates'
- Make sure GRUB is copied to the right place for CI on GitLab/Azure - Note in our GitHub PR template that you can use this to trigger Azure CI
Showing
想要评论请 注册 或 登录
- Make sure GRUB is copied to the right place for CI on GitLab/Azure - Note in our GitHub PR template that you can use this to trigger Azure CI