3 commits

Author	SHA1	Message	Date
Oliver Smith	f16bdaf0ca	Update copyright to 2019 ... Happy new year \o/	2019-01-02 09:31:20 +01:00
Oliver Smith	0e2c7507cd	Wiki CI: require all devices to be booting ... In gitlab, there is no extra CI job running for commits in a merge request (MR). This means, we can't run different code in a MR against "master". So instead of only checking whether all devices are booting if there's a MR against master, always perform this check. I've edited the message slightly, so it's clear that it's only required to have the devices booting when making a merge request against master.	2018-07-22 23:19:02 +02:00
Oliver Smith	03f74565fb	Travis: Check for device documentation (#1369) ... Add a simple script, that checks whether all device's codenames can be found in the device overview in the wiki. This way we're always sure that every device is documented in the wiki's device table.	2018-03-28 21:28:26 +00:00