[metrics-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:  merge_ready
 Priority:  Medium       |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Normal       |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:  irl          |        Sponsor:
-------------------------+-----------------------------
Changes (by irl):

 * status:  needs_review => merge_ready


Comment:

 This looks good to me. It is not easy to run this in the CI without the
 metrics-base commit already being pushed, but I duplicated the CI locally
 (it just runs in Docker) and ran it manually and it worked.

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