mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-05-31 07:11:00 +02:00
The font tests have run with coverage reporting enabled for quite some time now and the coverage information has proven to work and be stable, so we don't have to also run the font tests without coverage reporting anymore, thereby reducing the total runtime of the workflow.