Merge branch 'hedge-dev:main' into main #6

	name: Build codes

	on:
	push:
	branches: [ "main" ]

	permissions:
	contents: write


	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- name: Set up dotnet
	uses: actions/setup-dotnet@v3
	with:
	dotnet-version: 7.0.x

	- name: Install dependencies
	run: \|
	dotnet tool install -g dotnet-script

	- name: Run build
	run: \|
	dotnet script build.csx

	- name: Push to build branch
	run: \|
	git config --global user.email "[email protected]"
	git config --global user.name "hh::dev"
	git checkout -b build
	git rm -r .
	cp -r build/* .
	rm -rf build/
	git add "*.hmm"
	git commit -m "Update build"
	git push origin build --force

Provide feedback