]> git.baikalelectronics.ru Git - uboot.git/commit
Merge branch '2020-07-15-ci-updates'
authorTom Rini <trini@konsulko.com>
Wed, 15 Jul 2020 19:48:05 +0000 (15:48 -0400)
committerTom Rini <trini@konsulko.com>
Wed, 15 Jul 2020 19:48:05 +0000 (15:48 -0400)
commitadafd3f12320fce95dd62567cd67f6c059ba7e89
tree2b01b07f73b3d4b1f2c976f92d323b186d5fa701
parent29b41636a3bd050ac924ec589b7e92a08a93cbaa
parent39612d2f4bf35b6a9592f470509914cc9b6366a0
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