Benoit Pierre 21c6e37f5e ci: remove CircleCI unnecessary steps ... The docker images should already contain all the necessary tools.		2024-04-16 18:58:45 +02:00
..
after_success_docs_translation.sh	[CI] Don't hide docs generation log (#9204)	2022-06-12 13:37:07 +02:00
after_success.sh	[CI] Fix CircleCI context issue by separating out docs & translations (#8614)	2022-01-04 22:17:40 +01:00
build.sh	Add CircleCI (#3321)	2017-10-08 18:38:00 +02:00
check.sh	[CI] Add curly braces check (#5809)	2020-02-02 20:35:21 +01:00
common.sh	ci: remove CircleCI unnecessary steps	2024-04-16 18:58:45 +02:00
fetch.sh	Add CircleCI (#3321)	2017-10-08 18:38:00 +02:00
helper_shellchecks.sh	Terminal emulator: full rewrite, real vt52 emulator (#8636)	2022-01-28 20:33:09 +01:00
script.sh	Add CircleCI (#3321)	2017-10-08 18:38:00 +02:00
test.sh	CircleCI: finishing touches (#3340)	2017-10-11 08:38:30 +02:00