diff options
| author | John Bampton <[email protected]> | 2021-04-11 12:51:28 +1000 |
|---|---|---|
| committer | Yukihiro "Matz" Matsumoto <[email protected]> | 2021-04-16 16:37:52 +0900 |
| commit | 9d32d440ebf1ebd0684f5349316a15602bea5421 (patch) | |
| tree | ae119a76ef9922d77fd9d13efc095e0a746253ec /include | |
| parent | ac9038121bec0141b93c8751248ffdb7688b9474 (diff) | |
| download | mruby-9d32d440ebf1ebd0684f5349316a15602bea5421.tar.gz mruby-9d32d440ebf1ebd0684f5349316a15602bea5421.zip | |
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
Diffstat (limited to 'include')
| -rw-r--r-- | include/mrbconf.h | 4 |
1 files changed, 2 insertions, 2 deletions
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 */ |