-
Notifications
You must be signed in to change notification settings - Fork 69
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
Fix ubuntu build #1214
Fix ubuntu build #1214
Conversation
sveitser
commented
Mar 8, 2024
- Install postgres client, just
- Make it easier to test locally with docker
- Run with code in repo
- Fix contracts script name for latest foundry
- Skip SQL tests
- Less fuzz runs
- Install postgres client, just - Make it easier to test locally with docker - Run with code in repo - Fix contracts script name for latest foundry - Skip SQL tests - Less fuzz runs
CI run for the ubuntu install test job: https://github.com/EspressoSystems/espresso-sequencer/actions/runs/8204872112 |
This is currently broken because foundryup downloads to XDG_CONFIG_HOME if that exists 🤦 |
trap cleanup EXIT | ||
cleanup(){ | ||
echo "Cleaning up repo copy: $REPO_COPY_DIR, need sudo" | ||
sudo rm -rf "$REPO_COPY_DIR" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We shouldn't need sudo
to remove a directory created by normal user. Same user should be able to delete.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Files will be owned by root because running in docker container.
|
||
git clone --recursive . "$REPO_COPY_DIR" | ||
|
||
# Run the installation and tests inside the container. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Since we are using docker anyway, instead of mounting a dir, couldn't we copy the build script into an ubuntu container and do all the git clone inside the container? This way everything is ephemeral and no need for external temp dirs.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It's done like this now so you can get local changes that aren't yet on github inside the container. The script is just for local debugging.