Closed kou closed 1 week ago
:warning: GitHub issue #43080 has been automatically assigned in GitHub to PR creator.
After merging your PR, Conbench analyzed the 3 benchmarking runs that have been run so far on merge-commit 3b3af5d76e4fd6fe2a0653d6385ff45933f8e44e.
There were no benchmark performance regressions. 🎉
The full Conbench report has more details.
Rationale for this change
shellcheck is a shell linter. It will find some potential problems in CI.
What changes are included in this PR?
.pre-commit-config.yaml
ci/scripts/c_glib_build.sh
We should enable shellcheck lint for all shell scripts eventually.
Are these changes tested?
Yes.
Are there any user-facing changes?
No.