build.yml

# This workflow builds and tests the project.
# It runs for every pull request.
# For testing currently uses the tests in Nillion repo.
name: Build

on:
  push:
    branches: "**"
  pull_request:
    branches: "**"

permissions:
  contents: read

jobs:
  build:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v4
      - name: Set up Python 3.10
        uses: actions/setup-python@v3
        with:
          python-version: "3.10"
      - name: Install uv
        uses: astral-sh/setup-uv@v3
        with:
          version: "0.4.24"
      - name: Install dependencies
        run: uv sync --all-extras --dev

      - name: Lint with pylint
        run: |
          uv run pylint nada_dsl/
      - name: Test with pytest
        run: |
          uv run pytest
  # Test that the compiled programs are compatible the Nillion backend.
  test:
    runs-on: ubuntu-latest

    steps:
      - name: Set up Python 3.10
        uses: actions/setup-python@v3
        with:
          python-version: "3.10"
      - name: Generate Nillion Repo app token
        id: generate-token
        uses: actions/create-github-app-token@v1
        with:
          app-id: ${{ vars.NILLION_REPO_APP_ID }}
          private-key: ${{ secrets.NILLION_REPO_PRIVATE_KEY }}
      - name: Checkout tools repo
        uses: actions/checkout@v4
        with:
          repository: NillionNetwork/nillion
          path: nillion
          token: ${{ steps.generate-token.outputs.token }}
      - name: Replace nillion's nada_dsl with this version
        uses: actions/checkout@v4
        with:
          path: nillion/nada-lang/nada_dsl
      - name: Check that test-programs compile
        run: |
          pip install -U virtualenv
          cd nillion && cargo build -p test-programs
      - name: Run nada autotests
        run: |
          pip install nillion/nada-lang/nada_dsl
          mkdir target
          cd nillion 
          RUST_LOG=warn cargo run -p auto-tests