Fixed an issue where the wrong proxy was used #2123

	# This workflow will do a clean install of node dependencies, cache/restore them, build the source code and run tests across different versions of node
	# For more information see: https://help.github.com/actions/language-and-framework-guides/using-nodejs-with-github-actions

	name: Run tests and publish results to github pages

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]
	schedule:
	# * is a special character in YAML so you have to quote this string
	- cron: '0 3,4 * * *'

	jobs:
	build:

	runs-on: ubuntu-latest

	strategy:
	matrix:
	node-version: [16.x]
	# See supported Node.js release schedule at https://nodejs.org/en/about/releases/

	steps:
	- uses: actions/checkout@v3
	- name: Use Node.js ${{ matrix.node-version }}
	uses: actions/setup-node@v3
	with:
	node-version: ${{ matrix.node-version }}
	cache: 'npm'
	- run: npm ci
	- run: npm run build --if-present
	- run: npm test
	- name: Move files
	run: \|
	mv ./cantons_test.md docs/
	mv ./example docs/
	- name: Deploy to GitHub Pages
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	branch: gh-pages
	folder: docs

Provide feedback