Update and publish #1753

	name: Update and publish

	on:
	schedule:
	- cron: '/5 * * *'
	push:
	branches:
	- main
	workflow_dispatch:

	defaults:
	run:
	shell: bash

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: 3.11

	- name: Install Python dependencies
	run: pip3 install -U PyGithub west

	- name: Setup the manifest data
	run: \|
	mkdir -p west/submanifests
	wget --progress=dot https://raw.githubusercontent.com/zephyrproject-rtos/zephyr/main/west.yml -O west/west.yml
	wget --progress=dot https://raw.githubusercontent.com/zephyrproject-rtos/zephyr/main/submanifests/optional.yaml -O west/submanifests/optional.yaml
	west init -l west
	west config manifest.group-filter -- +ci,+optional

	- name: Update
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	mkdir cache
	python -u update_zephyr_pr.py 2>&1
	bzip2 -c cache/data_dump.json > public/data_dump.json.bz2

	- name: Crunch
	run: \|
	python -u crunch_data.py 2>&1

	- name: Upload debugging artifacts (fail only)
	if: failure()
	uses: actions/upload-artifact@v4
	with:
	if-no-files-found: ignore
	path:
	public/

	- name: Setup pages
	uses: actions/configure-pages@v3

	- name: Upload pages artifact
	uses: actions/upload-pages-artifact@v2
	with:
	path: public

	deploy:
	needs: build
	permissions:
	pages: write
	id-token: write
	runs-on: ubuntu-latest
	steps:
	- name: Deploy to GitHub Pages
	uses: actions/deploy-pages@v2

Provide feedback