Skip to content

make lint ci faster by not building rtoml#89

Merged
samuelcolvin merged 1 commit intomainfrom faster-ci-lintDec 9, 2024