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.

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

Foundry ci setup #14140

Merged
merged 1 commit into from
May 8, 2023
Merged

Foundry ci setup #14140

merged 1 commit into from
May 8, 2023

Conversation

r0qs
Copy link
Member

@r0qs r0qs commented Apr 19, 2023

This PR extract the Foundry/python CI part from #13873 to simplify the review.

Depends on #14064

@r0qs r0qs added the has dependencies The PR depends on other PRs that must be merged first label Apr 19, 2023
@r0qs r0qs self-assigned this Apr 19, 2023
@r0qs r0qs mentioned this pull request Apr 19, 2023
3 tasks
@r0qs r0qs force-pushed the external-tests-refactor branch 2 times, most recently from 9024e52 to 957a727 Compare April 28, 2023 09:03
@r0qs r0qs force-pushed the foundry-ci-setup branch from 521631e to 3a9211b Compare April 28, 2023 13:15
@r0qs r0qs force-pushed the external-tests-refactor branch 2 times, most recently from b754128 to 28a9592 Compare April 28, 2023 14:32
@r0qs r0qs force-pushed the foundry-ci-setup branch from 3a9211b to ac14649 Compare April 28, 2023 14:41
Base automatically changed from external-tests-refactor to develop April 28, 2023 15:25
@r0qs r0qs force-pushed the foundry-ci-setup branch from ac14649 to eab1c6b Compare April 28, 2023 16:04
@r0qs r0qs changed the base branch from develop to external-tests-refactor April 28, 2023 16:04
@r0qs r0qs force-pushed the external-tests-refactor branch from 5758c1f to 75960e6 Compare April 28, 2023 16:28
@r0qs r0qs force-pushed the foundry-ci-setup branch from eab1c6b to 56e7352 Compare April 28, 2023 16:35
Base automatically changed from external-tests-refactor to develop April 28, 2023 17:40
.circleci/config.yml Outdated Show resolved Hide resolved
@@ -705,14 +774,8 @@ jobs:
<<: *base_cimg_small
Copy link
Member

@cameel cameel Apr 28, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would be best if we could avoid having to install Python and pip every time and just have it as a part of the image. Maybe we should switch chk_pylint, chk_proofs and c_ext_benchmarks to base_python_small instead?

Though I guess we still won't avoid it completely - for Foundry we want rust image as a base. We could also leave it like this in this PR and refactor separately.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, we could do the switch but probably in another PR as you suggested.

.circleci/config.yml Outdated Show resolved Hide resolved
.circleci/config.yml Outdated Show resolved Hide resolved
.circleci/config.yml Outdated Show resolved Hide resolved
.circleci/config.yml Outdated Show resolved Hide resolved
.circleci/config.yml Outdated Show resolved Hide resolved
.circleci/config.yml Outdated Show resolved Hide resolved
echo $FOUNDRY_RELEASE_SHA > /tmp/workspace/foundry-release-sha
- restore_cache:
keys:
- foundry-<< parameters.version >>-{{ checksum "/tmp/workspace/foundry-release-sha" }}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You have the hash in an env var, you should be able to avoid storing it in a file and just use it directly according to save_cache docs:

Suggested change
- foundry-<< parameters.version >>-{{ checksum "/tmp/workspace/foundry-release-sha" }}
- foundry-<< parameters.version >>-{{ .Environment.FOUNDRY_RELEASE_SHA }}

Copy link
Member Author

@r0qs r0qs May 5, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hum...I couldn't make it work in the way you suggested. If I understand correctly their docs, this syntax does not include environment variables that defined in our CI scripts, only the ones that are added in the context of the project/organization CircleCI settings or that are already exported by CircleCI.

.circleci/config.yml Outdated Show resolved Hide resolved
@r0qs r0qs force-pushed the foundry-ci-setup branch 2 times, most recently from aa25c22 to 57fd316 Compare May 6, 2023 13:43
@r0qs r0qs force-pushed the foundry-ci-setup branch 2 times, most recently from a39db6a to e573e83 Compare May 8, 2023 13:38
@r0qs r0qs removed the has dependencies The PR depends on other PRs that must be merged first label May 8, 2023
@r0qs r0qs force-pushed the foundry-ci-setup branch from e573e83 to ccc2b8e Compare May 8, 2023 15:26
@ekpyron ekpyron enabled auto-merge May 8, 2023 15:28
@ekpyron ekpyron merged commit f32f35f into develop May 8, 2023
@ekpyron ekpyron deleted the foundry-ci-setup branch May 8, 2023 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants