Skip to content

GitHubCI: enable code-linter at push too#436

Merged
grunch merged 2 commits intolnp2pBot:mainfrom knocte:improveCIOct 9, 2023

Commits

Commits on Oct 7, 2023