Merge branch 'main' into develop

This commit is contained in:
Thomas Gruber
2022-07-12 11:36:46 +02:00
committed by GitHub
3 changed files with 21 additions and 2 deletions

View File

@@ -31,4 +31,4 @@ jobs:
run: make
- name: Run MetricCollector once
run: ./cc-metric-collector --once --config .github/ci-config.json
run: ./cc-metric-collector --once --config .github/ci-config.json