library-pull-from-base #514
This file contains 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
| # NOTE: This file comes from `savi-lang/base-standard-library` | |
| # | |
| # This workflow is responsible for helping other repositories continuously | |
| # stay up-to-date with changes from the `savi-lang/base-standard-library` repo. | |
| # | |
| # If there are new commits on the main branch of that repo which aren't yet | |
| # on the main branch of this repo, a pull request will be opened. | |
| # | |
| # The workflow is triggered daily, and can also be manually triggered. | |
| name: library-pull-from-base | |
| on: | |
| workflow_dispatch: {} # allow manual trigger | |
| schedule: | |
| - cron: "0 10 * * *" # daily at 10:00 UTC | |
| jobs: | |
| library-pull-from-base: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v2 | |
| with: | |
| # Note that a Personal Access Token with the "repo" and "workflows" | |
| # scopes is needed to be able to push a branch that updates workflows. | |
| # It's recommended to use a bot user account for this purpose. | |
| # Create the relevant secret in your repo or org and link it here. | |
| # | |
| # If you don't need to be able to push workflow updates, you can omit | |
| # this and use the standard `secrets.GITHUB_TOKEN` used by default. | |
| token: ${{secrets.BOT_GITHUB_TOKEN}} | |
| - uses: savi-lang/[email protected] | |
| with: | |
| github-token: ${{secrets.BOT_GITHUB_TOKEN}} | |
| source-repo: savi-lang/base-standard-library | |
| source-branch: main | |
| target-repo: ${{github.repository}} | |
| target-branch: main |