check.yaml

name: Static analysis

on:
  push:
  pull_request:

jobs:
  static-analysis:
    if: |
      github.event_name == 'push' ||
      github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository
    strategy:
      fail-fast: false
    runs-on: [ubuntu-latest]
    steps:
      - uses: actions/checkout@v3

      - name: Setup luarocks
        run: sudo apt install -y luarocks

      - name: Setup dependencies
        run: make deps

      - run: echo $(luarocks path --lr-bin) >> $GITHUB_PATH

      - name: Run static analysis
        run: make check

  build-doc:
    if: |
      github.event_name == 'push' ||
      github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository
    strategy:
      fail-fast: false
    runs-on: [ubuntu-latest]
    steps:
      - uses: actions/checkout@v3

      - name: Setup luarocks
        run: sudo apt install -y luarocks

      - name: Setup dependencies
        run: make deps

      - run: echo $(luarocks path --lr-bin) >> $GITHUB_PATH

      - name: Build documentation
        run: make doc