Skip to content

library-pull-from-base #558

library-pull-from-base

library-pull-from-base #558

# 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/action-pull-from-base@v0.3.0
with:
github-token: ${{secrets.BOT_GITHUB_TOKEN}}
source-repo: savi-lang/base-standard-library
source-branch: main
target-repo: ${{github.repository}}
target-branch: main