This will ensure that from now on, CI builds and runs successfully!
merged
mentioned in commit 127f34a2