update tools prompt

This commit is contained in:
ProgramSnail 2025-08-14 11:59:05 +03:00
parent 7215cae313
commit a7ba593f22

View file

@ -12,7 +12,7 @@
- cli
vars_prompt:
- name: tools_in
prompt: "Specify comma separated list of required tool packages (cpp, js, haskell, txt, lang)"
prompt: "Specify comma separated list of required tool packages (cpp, js, haskell, ocaml, coq, txt, lang, truffle)"
pre_tasks:
- name: Get tools list
ansible.builtin.set_fact: