angr / ci-settings

Docker image and azure templates for angr's CI
2 stars 6 forks source link

archive_url.py is broken #15

Closed ConnorNelson closed 3 years ago

ConnorNelson commented 3 years ago
docker run -it --rm angr/ci:2 <build url>

The above sounds awesome. Unfortunately, it is a total scam!

$ docker run -it --rm -v /var/run/docker.sock:/var/run/docker.sock --privileged angr/ci:2 'https://dev.azure.com/angr/archr/_build/results?buildId=5020'
Traceback (most recent call last):
  File "/root/scripts/archive_url.py", line 8, in <module>
    api_url = re.search('https:[^"]*Builds/[0-9]*', requests.get(url).text).group(0)
AttributeError: 'NoneType' object has no attribute 'group'
http://: Invalid host name.
ConnorNelson commented 3 years ago

I'm not paying attention, this is definitely a duplicate of #6.