switching to cimetrics_env.sh

microsoft · Nov 8, 2023 · 5723788 · 5723788
1 parent 6e0f675
commit 5723788
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.azure-pipelines-templates/model_checking.yml b/.azure-pipelines-templates/model_checking.yml
@@ -32,12 +32,8 @@ jobs:
         displayName: MCccfraftWithReconfig.cfg
 
       - script: |
-          set -ex
-          python3.8 -m venv env
-          source env/bin/activate
-          python -m pip install -r requirements.txt
           ls ../tla/*.json
-          python3 upload_tlc_stats.py 3node_fixed ../tla/MCccfraft_stats.json
+          ./cimetrics_env.sh python upload_tlc_stats.py 3node_fixed ../tla/MCccfraft_stats.json
         env:
           METRICS_MONGO_CONNECTION: $(METRICS_MONGO_CONNECTION)
         workingDirectory: tests