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

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

Major
Configure