modules: programs: dev: add maven (!120) · Merge requests · Forge / infra / Nix PIE

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

The source project of this merge request has been removed.

Thomas Crambert requested to merge (removed):add-maven into master Jan 21, 2022

Maven is the dependency manager used for the Java assignments.

Because it is missing in the PIE, this MR means to integrate the following packages:

Maven (3.8.4)

Admin message

modules: programs: dev: add maven

Merge request reports