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

angr/angr container image is outdated (either update or remove reference to it) #29

Open
mborgerson opened this issue Mar 30, 2022 · 2 comments

Comments

@mborgerson
Copy link
Member

Running angr from a container is featured prominently in the How do I use angr? section. However, the container has not been updated in a long time. Either the container should be updated, or it should not be recommended.

@mborgerson mborgerson changed the title Docker container is outdated angr/angr container image is outdated (either update or remove reference to it) Mar 30, 2022
@rhelmot
Copy link
Member

rhelmot commented Mar 30, 2022

it seems my attempt to get us open-source access to docker hub's autobuild service has failed. lol

@twizmwazin can we get the docker image built and pushed to docker hub as part of nightly CI?

@mborgerson
Copy link
Member Author

Reference to Docker image removed for now until it's good to go

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

No branches or pull requests

2 participants