subtree_push.yml

name: Git Subtree Push
on:
  workflow_dispatch:
  # no inputs at this time

jobs:
  subtree-push:
    runs-on: ubuntu-latest

    steps:
    - name: checkout
      uses: actions/checkout@v4

    # Based on https://github.com/rust-lang/rustup/issues/3409
    # rustup should already be installed in GitHub Actions.
    - name: install current toolchain with rustup
      run: |
        CURRENT_TOOLCHAIN=$(cut -d ' ' -f3 <<< $(cat rust-toolchain | grep "channel =") | tr -d '"')
        rustup install $CURRENT_TOOLCHAIN

    - name: subtree-push
      run: ${GITHUB_WORKSPACE}/ci/subtree_sync.sh subtree-push