[tor-bugs] #31361 [Metrics]: Remove Cobertura from our build process

[Tor Bug Tracker & Wiki]

#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


Comment:

 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
 [https://gitweb.torproject.org/collector.git/commit/?id=801008431115951fe3b0f967c7d4ca0469610ae8
 CollecTor commit 8010084],
 [https://gitweb.torproject.org/onionoo.git/commit/?id=301841c8e97602fe8106cb1bbd1c46a19a767a63
 Onionoo commit 301841c],
 [https://gitweb.torproject.org/exonerator.git/commit/?id=4654ff9518d13daa65bafe69db92890e8700b3e0
 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