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

Triggered via push September 29, 2024 10:35
@pzinnpzinn
pushed 4982cd2
LieTypes
Status Success
Total duration 30s
Artifacts –

lint.yml

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