build and push #307

	# This is a basic workflow to help you get started with Actions

	name: build and push

	# Controls when the action will run.
	on:
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	# This workflow contains a single job called "build"
	build-all:
	# The type of runner that the job will run on
	runs-on: ubuntu-22.04

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- uses: actions/checkout@v4

	- name: Setup Node.js environment
	uses: actions/setup-node@v4.0.2
	with:
	node-version-file: '.nvmrc'

	- name: install npm dependencies
	run: npm install

	- name: build code
	run: npm run build

	- name: build docs
	run: \|
	(cd docs-src && npm install)
	npm run docs:build

	- name: Commit files
	run: \|
	git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	git add .
	git commit -m "BUILD" -a

	- name: Push changes
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	branch: ${{ github.ref }}

Provide feedback