#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
_______________________________________________
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs
