2 Commits (84de001fa8b6a79087eef36d5f639ecba3ba2eae)

Author SHA1 Message Date
nmfretz 991c39e348 Allow workflow_dispatch for linting workflow 7 months ago
Josua Frank 0c7404b6df
Add GitHub workflow: lint PRs on submission 7 months ago