add lower-optimize job

.github/workflows/lower-optimize.yaml

@@ -0,0 +1,26 @@
+name: lower-optimize
+on:
+  workflow_dispatch:
+permissions:
+  contents: write
+  pull-requests: write
+jobs:
+  lower-pr:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - uses: DeterminateSystems/nix-installer-action@main
+      with:
+        extra-conf: |
+          access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
+    - uses: DeterminateSystems/magic-nix-cache-action@main
+    - uses: cachix/cachix-action@v14
+      with:
+        name: tek
+        signingKey: ${{ secrets.CACHIX_SIGNING_KEY }}
+    - id: bounds
+      run: nix run .#lower.optimize -- --output=ga-pr
+    - name: pr
+      if: steps.bounds.outputs.commit-message
+      uses: peter-evans/create-pull-request@v5
+      with: ${{ steps.bounds.outputs }}