From d3e5061f02ae1b5c208469516a19fa88ae5a5363 Mon Sep 17 00:00:00 2001 From: ProgramSnail Date: Tue, 14 Oct 2025 18:59:46 +0300 Subject: [PATCH] opam: ignore errors --- roles/dev/tasks/coq.yml | 2 ++ roles/dev/tasks/ocaml.yml | 2 ++ 2 files changed, 4 insertions(+) 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