test.yml

name: Test

on:
  push:
    branches:
      - main
  pull_request:

jobs:
  test:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v4
      - name: Install poetry
        run: pipx install poetry
      - name: Set up Python
        uses: actions/setup-python@v5
        with:
          python-version-file: ".python-version"
          cache: "poetry"
      - name: Install dependencies
        run: poetry install

      - name: Run tests
        run: poetry run pytest --cov=./ --cov-report=xml draco
      - name: Check types
        run: make typecheck
      - name: Check Poetry
        run: make check
      - name: Size of Grounded Programs
        run: make grounding-size

      - name: Upload coverage to Codecov
        uses: codecov/codecov-action@v4.6.0
        env:
          CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}

  test-docker:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v4
      - name: Build docker image
        run: docker build -t draco .

      - name: Run all make targets
        run: docker run --rm draco bash -c "make"

  automerge:
    needs:
      - test
      - test-docker
    runs-on: ubuntu-latest

    permissions:
      pull-requests: write
      contents: write

    steps:
      - name: Merge pull requests
        uses: fastify/github-action-merge-dependabot@v3.10.2
        with:
          github-token: ${{ secrets.GITHUB_TOKEN }}
          target: minor