2 Commits (351b9c44fe90b3f7ac7fa4b76397fb8c7ad696c0)

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