Skip to content

Add GitHub workflow for PRs to lint and run create-data#199

Merged
paulrobertlloyd merged 2 commits intomainfrom
mike/add-lint-workflow
Feb 10, 2026
Merged

Add GitHub workflow for PRs to lint and run create-data#199
paulrobertlloyd merged 2 commits intomainfrom
mike/add-lint-workflow

Commits

Commits on Feb 4, 2026

Commits on Feb 5, 2026