fix(ci): use netherlands IP

Author: balthazar

.github/workflows/ci.yml

@@ -24,14 +24,14 @@ jobs:
           
       - name: Download IVPN config
         run: |
-          wget -O ivpn-config.zip "https://api.ivpn.net/v5/config/ivpn-openvpn-config.zip?country=US&city=Las+Vegas&host=us-nv1.gw.ivpn.net&proto=udp&port=2049"
+          wget -O ivpn-config.zip "https://api.ivpn.net/v5/config/ivpn-openvpn-config.zip?country=NL&city=Amsterdam&proto=udp&port=2049"
           unzip ivpn-config.zip
           
       - name: Start IVPN connection
         run: |
           echo "${{ secrets.IVPN_ACCOUNT_NUMBER }}" > auth.txt
           echo "${{ secrets.IVPN_ACCOUNT_NUMBER }}" >> auth.txt
-          sudo openvpn --config USA-Las_Vegas.ovpn --auth-user-pass auth.txt &
+          sudo openvpn --config Netherlands-Amsterdam.ovpn --auth-user-pass auth.txt &
           sleep 10  # Wait for VPN to establish
 
       - name: Run typecheck