Skip to content
Lint

minor changes to BGG and MultigradedBGG to get them working with the … #46

Sign in to view logs

minor changes to BGG and MultigradedBGG to get them working with the …

minor changes to BGG and MultigradedBGG to get them working with the … #46

Triggered via push October 21, 2024 20:37
@mikestillmanmikestillman
pushed d8f9c67
complexes-pr-3
Status Success
Total duration 32s
Artifacts –

lint.yml

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