2 Commits

Author	SHA1	Message	Date
Mike Yuan	f06deaaf26	ci: update differential-shellcheck ... See also: https://github.com/redhat-plumbers-in-action/differential-shellcheck/issues/215	2023-03-26 18:19:37 +08:00
Mike Yuan	f98c5d8268	Add Differential ShellCheck GitHub Workflow ... It would run on pull requests only, so please avoid pushing to master branch directly.	2022-11-24 02:08:19 +08:00