From d67b0ad0bebd44de63b5ca5c1dfcc47dad4a39a4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20K=C3=B6pf?= Date: Sun, 29 Jan 2023 11:03:01 +0100 Subject: [PATCH] add stats intervals & max children count to ansible/workflows --- .github/workflows/deploy-to-node.yaml | 5 +++++ ansible/deploy-to-node.yaml | 15 +++++++++++++++ 2 files changed, 20 insertions(+) diff --git a/.github/workflows/deploy-to-node.yaml b/.github/workflows/deploy-to-node.yaml index 5da5f59f..27aae343 100644 --- a/.github/workflows/deploy-to-node.yaml +++ b/.github/workflows/deploy-to-node.yaml @@ -39,8 +39,13 @@ jobs: AWS_SECRET_KEY: ${{ secrets.AWS_SECRET_KEY }} MAX_ACTIVE_TREES: ${{ vars.MAX_ACTIVE_TREES }} MAX_TREE_DEPTH: ${{ vars.MAX_TREE_DEPTH }} + MAX_CHILDREN_COUNT: ${{ vars.MAX_CHILDREN_COUNT }} GOAL_TREE_SIZE: ${{ vars.GOAL_TREE_SIZE }} SKIP_TOXICITY_CALCULATION: ${{ vars.SKIP_TOXICITY_CALCULATION }} + STATS_INTERVAL_DAY: ${{ vars.STATS_INTERVAL_DAY }} + STATS_INTERVAL_WEEK: ${{ vars.STATS_INTERVAL_WEEK }} + STATS_INTERVAL_MONTH: ${{ vars.STATS_INTERVAL_MONTH }} + STATS_INTERVAL_TOTAL: ${{ vars.STATS_INTERVAL_TOTAL }} steps: - name: Checkout uses: actions/checkout@v2 diff --git a/ansible/deploy-to-node.yaml b/ansible/deploy-to-node.yaml index a89d969a..87f14261 100644 --- a/ansible/deploy-to-node.yaml +++ b/ansible/deploy-to-node.yaml @@ -119,6 +119,21 @@ TREE_MANAGER__GOAL_TREE_SIZE: "{{ lookup('ansible.builtin.env', 'GOAL_TREE_SIZE') | default('15', true) }}" + TREE_MANAGER__MAX_CHILDREN_COUNT: + "{{ lookup('ansible.builtin.env', 'MAX_CHILDREN_COUNT') | + default('3', true) }}" + USER_STATS_INTERVAL_DAY: + "{{ lookup('ansible.builtin.env', 'STATS_INTERVAL_DAY') | + default('5', true) }}" + USER_STATS_INTERVAL_WEEK: + "{{ lookup('ansible.builtin.env', 'STATS_INTERVAL_WEEK') | + default('15', true) }}" + USER_STATS_INTERVAL_MONTH: + "{{ lookup('ansible.builtin.env', 'STATS_INTERVAL_MONTH') | + default('60', true) }}" + USER_STATS_INTERVAL_TOTAL: + "{{ lookup('ansible.builtin.env', 'STATS_INTERVAL_TOTAL') | + default('240', true) }}" ports: - "{{ backend_port }}:8080"