ci.yaml

name: CI

on:
  push:
    branches: [main]
    tags: ['v*']
  pull_request:
    branches: [main]

jobs:
  papercheck:
    runs-on: ubuntu-latest
    steps:
      - name: install latex
        run: sudo apt-get install texlive
      - name: update tlmgr usertree
        run: sudo tlmgr update-usertree
      - name: install required packages
        run: sudo tlmgr install forest
      - uses: actions/checkout@v4
      - name: papercheck
        run: make papercheck
  lint:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-go@v5
        with:
          go-version: '1.22'
          cache: false
      - name: golangci-lint
        uses: golangci/golangci-lint-action@v4
        with:
          version: v1.56
          args: --timeout 3m --verbose
  test:
    runs-on: ubuntu-latest
    steps:
      - name: install go
        uses: actions/setup-go@v5
        with:
          go-version: 1.22.x
      - name: Checkout code
        uses: actions/checkout@v4
      - name: run tests
        run: make test