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
Fixed
Assignee
Yoann Rodière
Reporter
Yoann Rodière
Labels
None
Suitable for new contributors
None
Pull Request
None
Feedback Requested
None
Components
Fix versions
Priority
Configure