From 9d32d440ebf1ebd0684f5349316a15602bea5421 Mon Sep 17 00:00:00 2001 From: John Bampton Date: Sun, 11 Apr 2021 12:51:28 +1000 Subject: feat(CI): add the GitHub Super Linter The GitHub Super Linter is a more robust and better supported tool than the current GitHub Actions we are using. Running these checks: ERROR_ON_MISSING_EXEC_BIT: true VALIDATE_BASH: true VALIDATE_BASH_EXEC: true VALIDATE_EDITORCONFIG: true VALIDATE_MARKDOWN: true VALIDATE_SHELL_SHFMT: true VALIDATE_YAML: true https://github.com/marketplace/actions/super-linter https://github.com/github/super-linter Added the GitHub Super Linter badge to the README. Also updated the pre-commit framework and added more documentation on pre-commit. Added one more pre-commit check: check-executables-have-shebangs Added one extra check for merge conflicts to our GitHub Actions. EditorConfig and Markdown linting. Minor grammar and spelling fixes. Update linter.yml --- include/mrbconf.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'include') diff --git a/include/mrbconf.h b/include/mrbconf.h index 347f6786e..d4da81bfc 100644 --- a/include/mrbconf.h +++ b/include/mrbconf.h @@ -25,10 +25,10 @@ #endif /* configuration options: */ -/* add -DMRB_USE_FLOAT32 to use float instead of double for floating point numbers */ +/* add -DMRB_USE_FLOAT32 to use float instead of double for floating-point numbers */ //#define MRB_USE_FLOAT32 -/* exclude floating point numbers */ +/* exclude floating-point numbers */ //#define MRB_NO_FLOAT /* obsolete configuration */ -- cgit v1.2.3