Merge branch 'master' of https://github.com/aeternity/docs #20

	name: AE Docs Updater Program Build
	on:
	workflow_dispatch:
	push:
	branches:
	- master

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	- name: Setup bun
	uses: oven-sh/setup-bun@v2
	- name: Install dependencies
	run: bun install
	- name: Compile
	run: bun build --compile --minify --env=disable main.ts --outfile program
	- name: Push Program
	run: \|
	git config user.name "GitHub Docs Updater Program Build Bot"
	git config user.email "<>"
	git config push.autoSetupRemote true
	git pull origin master --ff
	git add program
	git commit -m "Build program" \|\| true
	git push

Provide feedback