GitHub Actions: check editorconfig in PRs#87853
Merged
Mic92 merged 1 commit intoNixOS:masterfrom May 20, 2020
zowoq:actions
Merged
GitHub Actions: check editorconfig in PRs#87853Mic92 merged 1 commit intoNixOS:masterfrom zowoq:actions
Mic92 merged 1 commit intoNixOS:masterfrom
zowoq:actions
