Skip to content
Lint

change ordering of symbols in make-M2-symbols.m2 #119

Sign in to view logs

change ordering of symbols in make-M2-symbols.m2

change ordering of symbols in make-M2-symbols.m2 #119

Run time

Learn about OS pricing on GitHub Actions
Job Run time
codespell
21s
21s