Run tests in more environments for pull requests
Description
In particular we should enable compilation with the eclipse compiler: we always catch these compilation errors after merging, and that's annoying.
Maybe also JDK8? Something else?
Environment
None
