restart galaxy when tool installed

esg-epfl-apc · Feb 19, 2024 · d754d57 · d754d57
1 parent 8e992ee
commit d754d57
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/deploy-preview/deploy.yml b/deploy-preview/deploy.yml
@@ -53,3 +53,7 @@
         insertafter: '<section id="astro_staging"'
         line: '    <tool file="{{ tool_dir }}_pr{{ pr_num }}/{{ item }}" />'
       loop: "{{ tools_list }}"
+
+    - name: Restart Galaxy
+      command: galaxyctl restart
+      changed_when: true