#31361: Remove Cobertura from our build process
 Reporter:  karsten      |          Owner:  karsten
     Type:  enhancement  |         Status:  closed
 Priority:  Medium       |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Normal       |     Resolution:  implemented
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:  irl          |        Sponsor:
Changes (by karsten):

 * status:  merge_ready => closed
 * resolution:   => implemented


 Ah, I had already pushed changes to metrics-base, because they seemed
 trivial enough. So, in theory, it should also run in the CI. Glad to hear
 it also ran in the locally run CI. Thanks for checking!

 I went ahead an pushed the remaining changes in
 CollecTor commit 8010084],
 Onionoo commit 301841c],
 ExoneraTor commit 4654ff9], and [https://gitweb.torproject.org/metrics-
 web.git/commit/?id=a881d0f480fe8c4289c47a9e14fdcd016a2ade9e metrics-web
 commit a881d0f]. These also seemed trivial enough that they don't require
 review before pushing them to master.

 Closing as implemented. If something comes up when putting out the next
 round of releases we can always re-open this ticket. Thanks!

Ticket URL: <https://trac.torproject.org/projects/tor/ticket/31361#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
tor-bugs mailing list

Reply via email to