Skip to content

Update JS API for exnref (#301) #25

Update JS API for exnref (#301)

Update JS API for exnref (#301) #25

name: Mirror main branch to master branch
on:
push:
branches:
- 'main'
jobs:
mirror_job:
runs-on: ubuntu-latest
name: Mirror main branch to master branch
steps:
- name: Mirror branch
uses: google/[email protected]
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
source: 'main'
dest: 'master'