Skip to content

Update Tet2.ruel

Update Tet2.ruel #55

name: build new rules from Nutshell files
on:
push:
branches: [main]
paths: ["*.ruel", .github/workflows/build_new_rules.yml]
jobs:
build-rules:
runs-on: ubuntu-latest
steps:
- name: clone repo
uses: actions/checkout@v3
- name: set up python
uses: actions/setup-python@v3
with:
python-version: 3.10.x
- name: install Nutshell
run: |
python3 -m pip install -U pip
git clone https://github.com/supposedly/nutshell.git
cd nutshell/
pip install -U .
cd ..
- name: build rules
run: python3 build_new_rules.py
- name: remove Nutshell folder
run: rm -rf nutshell/
- name: commit changes # copied from ad-m/github-push-action
run: |
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
git add -A
git commit -m "built new rules" -a
- name: push fetched files
uses: ad-m/github-push-action@40bf560936a8022e68a3c00e7d2abefaf01305a6
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: ${{ github.ref }}