Skip to content

Commit

Permalink
Error occurs when trying to copy updated test-data from in the container
Browse files Browse the repository at this point in the history
to the host. The file / folder is not found.

Correcting this by specifying the full file path up to 'show' folder and
copying the file to the relative host path
./src/tests/integration/test-data.

	modified:   .github/workflows/update-expected-output.yml
  • Loading branch information
F-WRunTime committed Sep 16, 2024
1 parent 2ad03f3 commit 96bd0ca
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/update-expected-output.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:
docker exec --user github-user kontrol-ci-integration-${GITHUB_SHA} bash -c "make cov-integration TEST_ARGS='${TEST_ARGS} -k \"test_kontrol_cse or test_foundry_minimize_proof\"' || true"
- name: 'Copy updated files to host'
run: |
docker cp kontrol-ci-integration-${GITHUB_SHA}:/home/user/src/tests/integration/test-data/show ./src/tests/integration/test-data/show
docker cp kontrol-ci-integration-${GITHUB_SHA}:/home/github-user/workspace/src/tests/integration/test-data/show ./src/tests/integration/test-data/
- name: 'Configure GitHub user'
run: |
git config user.name devops
Expand Down

0 comments on commit 96bd0ca

Please sign in to comment.