Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 697950 - dev-python/jedi-0.12.1 - sphinx: intersphinx inventory 'https://docs.python.org/objects.inv' not fetchable due to <class 'requests.exceptions.ConnectionError'>: HTTPSConnectionPool(host='docs.python.org', port=443): Max retries exceeded with url: /obje...
Summary: dev-python/jedi-0.12.1 - sphinx: intersphinx inventory 'https://docs.python.o...
Status: RESOLVED OBSOLETE
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Python Gentoo Team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2019-10-17 20:19 UTC by Alessandro Barbieri
Modified: 2020-03-27 16:33 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
jedi-0.12.1:20191017-192610.log (jedi-0.12.1:20191017-192610.log,302.74 KB, text/plain)
2019-10-17 20:23 UTC, Alessandro Barbieri
Details
info (info,15.86 KB, text/plain)
2019-10-17 20:24 UTC, Alessandro Barbieri
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Alessandro Barbieri 2019-10-17 20:19:46 UTC
* python3_7: running distutils-r1_run_phase python_compile_all
make -j4 -l8 -C docs html
make: Entering directory '/var/tmp/portage/dev-python/jedi-0.12.1/work/jedi-0.12.1/docs'
sphinx-build -b html -d _build/doctrees   . _build/html
Running Sphinx v1.8.5
making output directory...
loading intersphinx inventory from https://docs.python.org/objects.inv...
WARNING: failed to reach any of the inventories with the following issues:
intersphinx inventory 'https://docs.python.org/objects.inv' not fetchable due to <class 'requests.exceptions.ConnectionError'>: HTTPSConnectionPool(host='docs.python.org', port=443): Max retries exceeded with url: /objects.inv (Caused by
 NewConnectionError('<urllib3.connection.VerifiedHTTPSConnection object at 0x7fe672e77710>: Failed to establish a new connection: [Errno 101] Network is unreachable'))
building [mo]: targets for 0 po files that are out of date
building [html]: targets for 10 source files that are out of date
updating environment: 10 added, 0 changed, 0 removed
reading sources... [ 10%] docs/api
reading sources... [ 20%] docs/api-classes
reading sources... [ 30%] docs/development
reading sources... [ 40%] docs/features
reading sources... [ 50%] docs/installation
reading sources... [ 60%] docs/settings
reading sources... [ 70%] docs/testing
reading sources... [ 80%] docs/usage
REPL completion using Jedi 0.12.1
reading sources... [ 90%] global
reading sources... [100%] index

I'm using the doc useflag and the networksandbox feature
It will build anyway but I think it's worth reporting the issue
Comment 1 Alessandro Barbieri 2019-10-17 20:23:37 UTC
Created attachment 593108 [details]
jedi-0.12.1:20191017-192610.log

buildlog
Comment 2 Alessandro Barbieri 2019-10-17 20:24:22 UTC
Created attachment 593110 [details]
info

emerge --info
Comment 3 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2020-03-27 16:33:17 UTC
Old version removed.  Please reopen if you can reproduce with the current version.