Update Tet2.ruel #55
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 }} |