Skip to content

Merge branch 'dev' into production #235

Merge branch 'dev' into production

Merge branch 'dev' into production #235

Workflow file for this run

name: git push into another repo to deploy to vercel
on:
push:
branches: [ dev, production ]
jobs:
build:
runs-on: ubuntu-latest
container: pandoc/latex
steps:
- uses: actions/checkout@v2
- name: Install mustache (to update the date)
run: apk add ruby && gem install mustache
- name: creates output
run:
sh ./build.sh
- name: Pushes to another repository
id: push_directory
uses: cpina/github-action-push-to-another-repository@main
env:
API_TOKEN_GITHUB: ${{ secrets.API_TOKEN_GITHUB }}
with:
source-directory: 'output'
destination-github-username: nohgijin
destination-repository-name: cbnu-alrami
user-email: ${{ secrets.ACCOUNT_EMAIL }}
commit-message: "sync to another repository"
target-branch: ${{ github.ref_name }}
- name: Test get variable exported by push-to-another-repository
run: echo $DESTINATION_CLON