Update config.yml (#51)

Author: liav-certora

.circleci/config.yml

@@ -4,8 +4,13 @@
 
 version: 2.1
 
-commands:
-  prepare:
+
+jobs:
+  examples-regtest:
+    docker:
+      - image: &img public.ecr.aws/y7e8i2v6/cvt-image:2023.10.25-2197-cf04537
+    resource_class: small
+    working_directory: ~/repo
     steps:
       - add_ssh_keys:
           fingerprints:
@@ -14,8 +19,8 @@ commands:
       - checkout
 
       - run:
-          name: Get the current beta
-          command: pip3.11 install certora-cli-beta
+          name: Get the current version
+          command: pip3.11 install certora-cli
 
       - run:
           name: Get ConfRunnerInfra
@@ -28,18 +33,49 @@ commands:
           command: |
             cd ~/
             git clone git@github.com:Certora/ExamplesRegtest.git
-            cd ExamplesRegtest
-            git switch cli-beta
 
-
-jobs:
-  examples-regtest:
+      - run:
+          name: Run Reg Test
+          command: |
+            cd ~/ExamplesRegtest
+            python3.11 RunNightlyTest.py --examples_repo_path ../repo
+      
+      - store_artifacts:
+          path: Report.csv
+          destination: reports
+      
+      - store_test_results:
+          path: ~/repo
+  
+  examples-regtest-beta:
     docker:
       - image: &img public.ecr.aws/y7e8i2v6/cvt-image:2023.10.25-2197-cf04537
     resource_class: small
     working_directory: ~/repo
     steps:
-      - prepare
+      - add_ssh_keys:
+          fingerprints:
+            - "a7:d9:8e:37:bd:7c:ef:3a:a6:9b:dc:4f:29:97:f9:6f"
+
+      - checkout
+
+      - run:
+          name: Get the current beta
+          command: pip3.11 install certora-cli-beta
+      
+      - run:
+          name: Get ConfRunnerInfra
+          command: |
+            ssh-keyscan github.com >> ~/.ssh/known_hosts
+            pip3.11 install git+ssh://git@github.com/Certora/ConfRunnerInfra.git
+      
+      - run:
+          name: Get ExamplesRegtest
+          command: |
+            cd ~/
+            git clone git@github.com:Certora/ExamplesRegtest.git
+            cd ExamplesRegtest
+            git switch cli-beta
 
       - run:
           name: Run Reg Test
@@ -59,24 +95,43 @@ parameters:
   run_regtest:
     default: false
     type: boolean
+  
+  run_regtest_beta:
+    default: false
+    type: boolean
 
 
 workflows:
   version: 2
   # Nightly builds will run every day at 4am GMT
-  examples-nightly-beta:
+  examples-nightly:
     triggers:
       - schedule:
           cron: "0 4 * * *"
           filters:
             branches:
               only:
-                - cli-beta
+                - master
     jobs:
       - examples-regtest
 
-  examples-manual-beta:
+  examples-manual:
     when: << pipeline.parameters.run_regtest >>
     jobs:
       - examples-regtest
 
+  examples-nightly-beta:
+    triggers:
+      - schedule:
+          cron: "0 4 * * *"
+          filters:
+            branches:
+              only:
+                - cli-beta
+    jobs:
+      - examples-regtest-beta
+
+  examples-manual-beta:
+    when: << pipeline.parameters.run_regtest_beta >>
+    jobs:
+      - examples-regtest-beta