[tor-bugs] #20564 [Metrics]: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file

[Tor Bug Tracker & Wiki]

#20564: Add Jenkins configuration for running metrics-lib's unit tests and
producing a .jar file
-------------------------+--------------------------
 Reporter:  karsten      |          Owner:  hiro
     Type:  enhancement  |         Status:  assigned
 Priority:  Medium       |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Normal       |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:               |        Sponsor:
-------------------------+--------------------------

Comment (by karsten):

 Oh, okay.  I tried out the update build script locally and it didn't break
 in obvious ways.  But I see your points there.

 hiro, can you take a look at the comment above and see if you can change
 the Jenkins scripts accordingly to still work after reverting that commit?
 I'll hold back reverting until we're sure how to move forward.  Thanks!

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/20564#comment:32>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online