Skip to content
Send Zulip message

fixing numeral rules that preferred Err/Orth #3

Sign in to view logs

fixing numeral rules that preferred Err/Orth

fixing numeral rules that preferred Err/Orth #3

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-deploy
15s
15s