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