From fcf6e77af617120cd01e74e87abbaacf3bd35f2c Mon Sep 17 00:00:00 2001 From: Ryan Bas Date: Tue, 12 May 2026 23:23:32 -0600 Subject: [PATCH] chore: add scheduled workflow to update vendored Effect source Adds a GitHub Actions workflow that runs daily at 4:17 AM UTC and dispatches pullfrog to perform the git subtree pull for repos/effect/. Also supports manual trigger via workflow_dispatch. Co-Authored-By: Claude Opus 4.6 (1M context) --- .github/workflows/update-effect-vendor.yml | 27 ++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 .github/workflows/update-effect-vendor.yml diff --git a/.github/workflows/update-effect-vendor.yml b/.github/workflows/update-effect-vendor.yml new file mode 100644 index 0000000..e44894b --- /dev/null +++ b/.github/workflows/update-effect-vendor.yml @@ -0,0 +1,27 @@ +name: Update vendored Effect source + +on: + schedule: + - cron: '17 4 * * *' + workflow_dispatch: + +jobs: + update: + runs-on: ubuntu-latest + permissions: + actions: write + steps: + - name: Dispatch pullfrog + uses: actions/github-script@v7 + with: + script: | + await github.rest.actions.createWorkflowDispatch({ + owner: context.repo.owner, + repo: context.repo.repo, + workflow_id: 'pullfrog.yml', + ref: 'main', + inputs: { + prompt: 'Update the vendored Effect repository at repos/effect/ by running: git subtree pull --prefix=repos/effect https://github.com/Effect-TS/effect.git main --squash. If there are no changes upstream, just close without a PR. If the pull succeeds, commit and open a PR with the title "chore: update vendored Effect source". If there are merge conflicts, open an issue describing the conflict instead of a PR.', + name: 'Update vendored Effect source' + } + });