Skip to content
Lint

Merge pull request #3257 from Devlin-Mallory/ToricFanoCharP #1168

Sign in to view logs

Merge pull request #3257 from Devlin-Mallory/ToricFanoCharP

Merge pull request #3257 from Devlin-Mallory/ToricFanoCharP #1168

Triggered via push May 24, 2024 00:52
@DanGraysonDanGrayson
pushed 714bc37
development
Status Success
Total duration 43s
Artifacts –

lint.yml

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