Skip to content
Make sure new PRs are sent to dev branch

Make small-capital versions of characters of width diversityMM slightly wider under Quasi-Proportional. #399

Sign in to view logs

Make small-capital versions of characters of width diversityMM slightly wider under Quasi-Proportional.

Make small-capital versions of characters of width diversityMM slightly wider under Quasi-Proportional. #399

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-branch
1s
1s