Update vendored Effect source #1
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: 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' | |
| } | |
| }); |