Check ports.json #10541

	name: Check ports.json

	on:
	schedule:
	- cron: '0 * * * *'
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:

	- name: checkout repo content
	uses: actions/checkout@v2 # checkout the repository content to github runner

	- name: setup python
	uses: actions/setup-python@v4
	with:
	python-version: '3.9' # install the python version needed

	- name: install python packages
	run: \|
	python -m pip install --upgrade pip
	pip install -r tools/requirements.txt

	- name: get ports.json
	run: python tools/get_ports_file.py

	- name: commit files
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "GitHub Action"
	git add -A
	git diff-index --quiet HEAD \|\| (git commit -a -m "Update ports.json" --allow-empty)

	- name: push changes
	uses: ad-m/[email protected]
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: main

Provide feedback