feat: add standalone Probably playground #9

	name: Bootstrap Probably release

	on:
	push:
	branches: [main]

	permissions:
	contents: write

	jobs:
	bootstrap:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout staging commit
	uses: actions/checkout@v6
	with:
	fetch-depth: 0

	- name: Rebuild clean release branch
	shell: bash
	run: \|
	set -euo pipefail
	test -f bootstrap.tar.gz.b64
	base64 --decode bootstrap.tar.gz.b64 > /tmp/probably-release.tar.gz
	mkdir -p /tmp/probably-release
	tar -xzf /tmp/probably-release.tar.gz -C /tmp/probably-release

	git config user.name "DarkMatterNet Release Bot"
	git config user.email "actions@users.noreply.github.com"
	git checkout --orphan release-main
	git rm -rf . \|\| true
	find . -mindepth 1 -maxdepth 1 ! -name .git -exec rm -rf {} +
	cp -a /tmp/probably-release/. .
	git add -A
	git commit -m "feat: launch Probably probability playground"
	git push --force origin release-main:main

Navigation Menu