gitlab-ci: adding test that there are no unmerged files
authorReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 8 May 2019 07:05:08 +0000 (09:05 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 8 May 2019 07:05:31 +0000 (09:05 +0200)
commit3cacb8e6861526efa3e7bbf0ad9ce9b26da9ee11
tree6e5bcfc70cb0e6135b2a08308dedcc279980aa5f
parent4b54148dfaf511784485f9185c6d18c2f4f1e9c1
gitlab-ci: adding test that there are no unmerged files

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
.gitlab-ci.yml
usr/vmkitmon/guest.c