You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Benoit Pierre 2b7b9d488c ci: minor `helper_shellchecks` cleanups ... Prefer the use of long option names (more readable).		2 months ago
..
after_success.sh	[CI] Fix CircleCI context issue by separating out docs & translations (#8614)	2 years ago
after_success_docs_translation.sh	[CI] Don't hide docs generation log (#9204)	2 years ago
build.sh	Add CircleCI (#3321)	7 years ago
check.sh	[CI] Add curly braces check (#5809)	4 years ago
common.sh	[CI] Add curly braces check (#5809)	4 years ago
fetch.sh	Add CircleCI (#3321)	7 years ago
helper_luarocks.sh	CI: force using luacheck 0.25.0	2 years ago
helper_shellchecks.sh	ci: minor `helper_shellchecks` cleanups	2 months ago
install.sh	[CI] Minor updates for ShellCheck 0.8.0 (#8605)	2 years ago
script.sh	Add CircleCI (#3321)	7 years ago
test.sh	CircleCI: finishing touches (#3340)	7 years ago