Bump version to v4.0.2 #9

	# name of your github action
	name: Release CI

	# this will help you specify when & which branch to run deployment
	on:
	push:
	tags:
	- v*

	jobs:
	create_release:
	name: Create Release
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	# - name: Exit if tag not is not pointing to a commit in master branch
	# if: endsWith(github.ref, 'master') == false
	# run: exit -1
	- name: Get release tag
	id: tag
	uses: dawidd6/action-get-tag@v1
	with:
	strip_v: false
	- name: Create Release
	id: create_release
	uses: softprops/action-gh-release@v1
	with:
	tag_name: ${{steps.tag.outputs.tag}}
	name: ${{steps.tag.outputs.tag}}
	body_path: ./Release.md
	draft: false
	prerelease: false
	generate_release_notes: false

	build:
	needs: create_release
	name: Build Release archives
	strategy:
	fail-fast: false
	matrix:
	os: [ubuntu-latest, macos-latest, windows-latest, macos-14]
	runs-on: ${{ matrix.os }}
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v4
	with:
	python-version: 3.12.0
	- uses: actions/setup-node@master
	with:
	node-version: 20
	- name: Install dependencies
	run: npm install
	- name: Create release assets directory
	run: mkdir -p dist
	- name: Build Workbench & create release archive for ${{ matrix.os }}
	run: npm run publish
	- name: Create source code archive (including node_modules)
	run: npm run srcarchive
	- name: Verify Generated archives in dist/
	run: ls ./dist
	- name: Upload release assets
	uses: softprops/action-gh-release@v1
	with:
	tag_name: ${{ github.ref_name }}
	files: dist/*

Provide feedback