Closed reinhapa closed 10 months ago
Adds an initial Jenkins file used on the Eclipse CI pipeline in the future.
Adds an initial Jenkins file used on the Eclipse CI pipeline in the future.