Skip to content

Add a more operator atoms and simplify/generalise EL variant syntax (… #156

Add a more operator atoms and simplify/generalise EL variant syntax (…

Add a more operator atoms and simplify/generalise EL variant syntax (… #156

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'