7 commits

Author	SHA1	Message	Date
Kenichi Omichi	e2467d87b6	Exclude .git/ from shellcheck ... If a branch name contains '.sh', current shellcheck checks the branch file under .git/ and outputs error because the format is not shell script one. This makes shellcheck exclude files under .git/ to avoid this issue.	2020-12-16 21:53:44 +00:00
Florian Ruynat	705ad84ce7	Update third party librairies and tools (#6669)	2020-09-17 02:36:46 -07:00
Lovro Seder	96a2b386f2	Fix shellcheck url (#6462)	2020-07-28 05:57:08 -07:00
Maxime Guyot	221c6a8eef	Use a separate runner for light CI jobs (#5771)	2020-03-13 20:29:22 +03:00
Maxime Guyot	38a3075025	Always rebase on master before running a job (#4616)	2019-04-24 01:38:01 -07:00
Maxime Guyot	2f49b6caa8	Use yamllint --strict (#4587)	2019-04-20 06:15:41 -07:00
Maxime Guyot	530e1c329d	Add shellcheck CI (#4562)	2019-04-18 23:57:54 -07:00