Run the shared quality checks on pull requests #76

Merged

Tirsvad merged 1 commits from adopt-shared-quality-checks into main

2026-10-10 21:21:46 +02:00

Author	SHA1	Message	Date
Tirsvad	ca07b0669a	Run the shared quality checks on pull requests Quality checks / quality-checks (pull_request) Successful in 22s Details Quality / quality (pull_request) Successful in 22s Details Call the reusable quality-check workflow of TirSystem/github-action for the shell files: shellcheck and shfmt -d. Add switch_case_indent to the [*.sh] section of .editorconfig so that shfmt, which reads it, agrees with the style the project already uses (shfmt -i 2 -ci in tests/run-tests.sh).	2026-10-10 16:25:09 +08:00

Author

SHA1

Message

Date

Tirsvad

ca07b0669a

Run the shared quality checks on pull requests

Quality checks / quality-checks (pull_request) Successful in 22s

Details

Quality / quality (pull_request) Successful in 22s

Details

Call the reusable quality-check workflow of TirSystem/github-action for the
shell files: shellcheck and shfmt -d. Add switch_case_indent to the
[*.sh] section of .editorconfig so that shfmt, which reads it, agrees with
the style the project already uses (shfmt -i 2 -ci in tests/run-tests.sh).

2026-10-10 16:25:09 +08:00