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