Can ci.tvm.ai use port 80?

Questions
#1

Many companies restrict access to 8080 websites from corporate networks.
In order to open http://ci.tvm.ai:8080 people need to switch to phone wifi, Guest wifi or use http proxy servers listening on port 80.

Can we make developers life easier by hosting http://ci.tvm.ai on port 80?
@tqchen

3 Likes
#2

I cannot access CI using our company’s wifi either

#3

I can look into this and come back though might take a bit time to dig

#4

@tqchen I’ve had a similar issue when I was setting up https://xgboost-ci.net, where port 8080 was not reachable from the company network. The solution was reverse proxy, where the NGINX web server would route HTTPS (443) traffic to localhost:8080. Here is the tutorial I followed: https://www.digitalocean.com/community/tutorials/how-to-configure-jenkins-with-ssl-using-an-nginx-reverse-proxy-on-ubuntu-18-04. Hope this helps.

1 Like
#5

@tqchen Just want to remind about 8080 port issue. Can you have a look at it? Thank you.

1 Like
#6

This does affect a lot of people daily. According to the answers on Stack Overflow below, this can be done by changing a single field in a Jenkins configuration file, different files depending on platform:

#7

@broune It’s a bit more involved, since port 80 is a privileged port and Jenkins won’t have permission to access it. A better way is to set up reverse proxy, as in https://www.digitalocean.com/community/tutorials/how-to-configure-jenkins-with-ssl-using-an-nginx-reverse-proxy-on-ubuntu-18-04

#8

Thanks for the pointers, atm the docs and ci shares the same machine. We will need to migrate the docs to a different machine before adding the proxy. I will look into the case by the TVM conf time frame

#9

We just updated the ci to use https://ci.tvm.ai, you can which should resolved the problem. Thanks @hcho3 for the useful pointers

6 Likes
#10

I can confirm that this is working for me now. Thanks, much appreciated!