codecov: rename the coverage flag to unit, and stop measuring it in ci-pr
Coverage is now always measured across every package, so "full" no longer distinguishes it from anything. Name the flag after what produced it, leaving room for an e2e flag beside it later. Starting a new flag also leaves the old series alone rather than erasing it: once this is on master, push builds fill the new one with reports that are measured correctly, and comparisons are right from then on. Drop the workflow_dispatch input along with it. It ran against a ref rather than a pull request, so its upload could never be attached to one, and dispatching ci-pr.yml pulled the whole integration and e2e suite along to reach the one job that measured anything. Commenting /coverage does that job properly, so ci-pr.yml no longer deals with coverage at all.
7c0cba3a
pull/6740/head
3/2 ++ 26 --