Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix Examples Release CI #127

Merged
merged 2 commits into from
Aug 12, 2024
Merged

Fix Examples Release CI #127

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8dd5065
Fix Examples Release CI
nivcertora Aug 12, 2024
85836af
Address review
nivcertora Aug 12, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 15 additions & 5 deletions .circleci/config.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ version: 2.1
orbs:
aws-cli: circleci/[email protected]

commands:
commands:
prepare:
parameters:
certora_cli_package:
Expand Down Expand Up @@ -45,7 +45,7 @@ commands:
command: |
ssh-keyscan github.com >> ~/.ssh/known_hosts
pip3.11 install git+ssh://[email protected]/Certora/ConfRunnerInfra.git

- run:
name: Get ExamplesRegtest
command: |
Expand All @@ -57,7 +57,7 @@ commands:
command: |
cd ~/ExamplesRegtest
if [ "<< parameters.certora_cli_package >>" == "certora-cli-beta" ] || [ "<< parameters.certora_cli_package >>" == "certora-cli-alpha-master" ]; then
git switch cli-beta
git switch cli-beta
fi

- aws-cli/setup:
Expand Down Expand Up @@ -109,6 +109,9 @@ jobs:
type: string
certora_cli_package:
type: string
examples_repo_path:
type: string
default: "../repo"
docker:
- image: &img public.ecr.aws/certora/cvt-image:2024.06.13-3755-0351582
resource_class: small
Expand All @@ -123,12 +126,14 @@ jobs:
name: Run Reg Test
command: |
cd ~/ExamplesRegtest
command="python3.11 RunNightlyTest.py --path ../repo --conf_ignore conf_ignore.txt --json_flags '{\"run_source\": \"LIGHT_TEST\", \"disable_auto_cache_key_gen\": true, \"group_id\": \"$CIRCLE_WORKFLOW_ID\"}' --send_message --disable_cleanup"
python3.11 CopyExpected.py
command="Regression --path << parameters.examples_repo_path >> --conf_ignore conf_ignore.txt --json_flags '{\"run_source\": \"LIGHT_TEST\", \"disable_auto_cache_key_gen\": true, \"group_id\": \"$CIRCLE_WORKFLOW_ID\"}' --send_message --checks Verification"
if [ "<< parameters.certora_cli_package >>" == "certora-cli-alpha-master" ]; then
command="$command --prover_version master"
fi
eval $command


- store_artifacts:
path: ~/ExamplesRegtest/Report.csv
destination: reports
Expand Down Expand Up @@ -180,6 +185,10 @@ parameters:
run_examples_nightly:
default: false
type: boolean

examples_repo_path:
type: string
default: "../repo"

workflows:

Expand Down Expand Up @@ -247,8 +256,9 @@ workflows:
when: << pipeline.parameters.run_examples_nightly >>
jobs:
- examples-regtest:
certora_ci_name: Examples Nightly
certora_ci_name: Examples Nightly Manual
certora_cli_package: certora-cli-alpha-master
examples_repo_path: << pipeline.parameters.examples_repo_path >>
context: aws_staging
- test-certoraMutate:
certora_cli_package: certora-cli-alpha-master
Expand Down