isle/.github/workflows/analyze.yml

name: Analyze

on: [push, pull_request]

jobs:
  decomplint-isle:
    name: 'ISLE annotations'
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v3

    - name: Install python libraries
      run: |
        pip install -r tools/requirements.txt

    - name: Run decomplint.py
      run: |
        python3 tools/decomplint/decomplint.py ISLE --module ISLE --warnfail

  decomplint-lego1:
    name: 'LEGO1 annotations'
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v3

    - name: Install python libraries
      run: |
        pip install -r tools/requirements.txt

    - name: Run decomplint.py
      run: |
        python3 tools/decomplint/decomplint.py LEGO1 --module LEGO1 --warnfail