chore: upload release archive part 4 #7
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |