resolvo 0.10.2

Fast package resolver written in Rust (CDCL based SAT solving)
Documentation
on:
  push:
    branches:
    - "main"
  pull_request:

name: C++

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  format:
    name: Format and Lint
    runs-on: ubuntu-latest
    steps:
      - name: Checkout source code
        uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v4

      - uses: prefix-dev/setup-pixi@v0.9.3
        with:
          environments: format-cpp

      - name: Ensure code is properly formatted
        run: |
          pixi run format-cpp
          git diff --exit-code

  test:
    name: Test
    strategy:
      fail-fast: false
      matrix:
        os: [ubuntu-22.04, macOS-latest, macOS-14, windows-latest ]
    runs-on: ${{ matrix.os }}
    needs: [ format ]
    steps:
      - name: Checkout source code
        uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v4
      
      - uses: prefix-dev/setup-pixi@v0.9.3
        with:
          environments: test-cpp

      - name: Run the tests
        run: |
          pixi run test-cpp