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

2017-08-16 Thread 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: closed Priority: Medium | Milestone:

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

2016-11-18 Thread 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 |

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

2016-11-18 Thread 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 |

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

2016-11-18 Thread 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 |

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

2016-11-18 Thread 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 |

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

2016-11-16 Thread 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 |

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

2016-11-16 Thread 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:

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

2016-11-16 Thread 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:

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

2016-11-15 Thread 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:

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

2016-11-15 Thread 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:

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

2016-11-15 Thread 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:

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

2016-11-15 Thread 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:

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

2016-11-15 Thread 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:

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

2016-11-14 Thread 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:

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

2016-11-14 Thread 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:

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

2016-11-10 Thread 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:

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

2016-11-10 Thread 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:

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

2016-11-10 Thread 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:

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

2016-11-10 Thread 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:

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

2016-11-09 Thread 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:

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

2016-11-09 Thread 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:

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

2016-11-09 Thread 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:

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

2016-11-09 Thread 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:

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

2016-11-09 Thread 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:

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

2016-11-08 Thread 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:

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

2016-11-08 Thread 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:

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

2016-11-08 Thread 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:

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

2016-11-08 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-08 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-07 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-07 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-07 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-07 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-07 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-07 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-06 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-04 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics

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

2016-11-04 Thread Tor Bug Tracker & Wiki
#20564: Add Jenkins configuration for running metrics-lib's unit tests and producing a .jar file -+- Reporter: karsten | Owner: Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics