diff --git a/roles/dev/tasks/coq.yml b/roles/dev/tasks/coq.yml
index 8ccb03c..c9e413a 100644
--- a/roles/dev/tasks/coq.yml
+++ b/roles/dev/tasks/coq.yml
@@ -11,6 +11,7 @@
   environment:
     OPAMSWITCH: default
   changed_when: false
+  ignore_errors: true
 
 - name: "Installing coq lsp: lsp install"
   ansible.builtin.command:
@@ -18,6 +19,7 @@
   environment:
     OPAMSWITCH: default
   changed_when: false
+  ignore_errors: true
 
 - name: Downloading vscode coq lsp extension
   ansible.builtin.get_url:
diff --git a/roles/dev/tasks/ocaml.yml b/roles/dev/tasks/ocaml.yml
index 065cba0..fe2d03f 100644
--- a/roles/dev/tasks/ocaml.yml
+++ b/roles/dev/tasks/ocaml.yml
@@ -11,11 +11,13 @@
   ansible.builtin.command:
     cmd: opam init
   changed_when: false
+  ignore_errors: true
 
 - name: Creating opam default switch (5.3.0)
   ansible.builtin.command:
     cmd: opam switch create default 5.3.0
   changed_when: false
+  ignore_errors: true
 
 # update fish path
 - name: Get programs list to check fish presence