chore: fix release CI

Allows release-please to trigger docker builds on release branch

Author: timfrazee

.github/workflows/docker.yml

@@ -6,6 +6,7 @@ on:
       - edge # Edge, tags as "edge"; next major version; deploys to edge.manifoldapp.org
       - main # Preview, tags as "preview"; bugfix/minor version preview; deploys to preview.manifoldapp.org
       - release # Stable production build, tags as "latest" and "<semver>" from MANIFOLD_VERSION
+  workflow_dispatch: # Allows this workflow to be triggered by release-please
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref_name }}

.github/workflows/release-please.yml

@@ -29,9 +29,14 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
+      actions: write
     steps:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
       - name: Reset release branch to main
         run: git push origin ${{ github.sha }}:refs/heads/release --force
+      - name: Trigger Docker build on release branch
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: gh workflow run docker.yml --ref release