[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:  needs_information
 Priority:  Medium       |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Normal       |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:               |        Sponsor:
-------------------------+-----------------------------------

Comment (by iwakeh):

 Thanks!

 One little change:
 Please also add `clean` (as this ought to be removed from the dependencies
 of the test task).
 Afaics, the build machine is setup anew for each run, but just in case
 that changes.

 {{{
 -ant test docs coverage jar
 +ant clean test docs coverage jar
 }}}

 So, commit d154982e5a974bf451086241e79f9b3d9f56b2c6 in Metrics-lib can be
 reverted.  Fine!

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