message: use another server for gpg key
diff: @@ -69,7 +69,7 @@ jobs:
  - run: sudo apt-get install -y nodejs
  - run: sudo apt-get install gcc g++ make
  - run: sudo npm install -g yarn
  - - run: gpg --keyserver hkp://keys.gnupg.net --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3 7D2BAF1CF37B13E2069D6956105BD0E739499BDB
  + - run: gpg --keyserver keyserver.ubuntu.com --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3 7D2BAF1CF37B13E2069D6956105BD0E739499BDB
  - run: curl -sL https://get.rvm.io | bash -s stable --ruby
  - run: source /home/circleci/.rvm/scripts/rvm
  - run: rvm install 2.5
  