CI image
500K+
This is our repo containing the docker image used for our CI. Most people won't need to touch this, and instead should use our regular images. This is mostly useful if you are either hacking on CI, or super confused why tests are failing for your pull request.
Other PRs can be used in place of default branches by simply linking the PR, for example
sync: angr/angr#<id>
To perform a build manually:
docker run -it \
--cap-add=SYS_PTRACE \
--security-opt seccomp:unconfined \
-v /var/run/docker.sock:/var/run/docker.sock \ # for archr
angr/ci:2
And then, in the container:
# This script will put you in the same directory as Azure would. It also sets
# all the necessary environment variables.
source /root/scripts/manual_defaults.sh
# OPTIONAL: If you need to customize environment variables, these are the
# important ones, along with their default values.
# Change these to the relevant repo and branch
# Your pull request will be refs/pull/{id}
export GITHUB_REPOSITORY=angr/angr
export GITHUB_REF=refs/heads/master
# We slice up our test execution among workers, 10 currently. You can play with
# these # numbers to run only a subset of the tests. You can change these
# between running the ga-test.sh script, without rebuilding.
export WORKER=0
export NUM_WORKERS=10
# And finally, to run the individual steps:
# Build step
/root/scripts/ga-build.sh
# Lint step
/root/scripts/ga-lint.sh
# Test step
/root/scripts/ga-test.sh
After building, there will be a build directory you can cd into that has
everything of interest. Most importantly, the virtualenv and src directories
you can use if you need to run specific tests outside of the standard testing
scripts.
Content type
Image
Digest
sha256:d356b04f5…
Size
1.1 GB
Last updated
about 9 hours ago
docker pull angr/ci:drop-claripyPulls:
3,919
Last week