Now that #10 has been merged, the CI could also check that projects from the example directory are compiling just fine.