Skip to content
Lint

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

Sign in to view logs

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

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

Triggered via push October 29, 2024 01:07
@mahrudmahrud
pushed b7a1176
development
Status Success
Total duration 29s
Artifacts –

lint.yml

on: push
codespell
21s
codespell
Fit to window
Zoom out
Zoom in