ci-settings

This is our repo containing the docker image used for our azure 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.

Manual instructions

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 the, in the container:

# This script will put you in the same directory as Azure would. It also sets
# all the necessary enviroment variables.
source /root/scripts/manual_defaults.sh

# OPTIONAL: If you need to customize enviroment 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 BUILD_REPOSITORY_URI=angr/angr
export BUILD_SOURCEBRANCH=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 azure-test.sh script, without rebuilding.
export WORKER=0
export NUM_WORKERS=10

# And finally, to run the individual steps:

# Build step
/root/scripts/azure-build.sh
# Lint step
/root/scripts/azure-lint.sh
# Test step
/root/scripts/azure-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.

yuzeming/ci-settings

ci-settings

Manual instructions