CI.yaml

name: CI

on:
  - push

jobs:
  Build:
    strategy:
      fail-fast: false
      matrix:
        target:
          - os: linux
            runner: ubuntu-latest
            triple: x86_64-unknown-linux-gnu
          - os: macos
            runner: macos-13
            triple: x86_64-apple-darwin
          - os: macos
            runner: macos-latest
            triple: aarch64-apple-darwin
#        compiler:
#          - cc: gcc
#            cxx: g++
#          - cc: clang
#            cxx: clang++
#        solver:
#          - minisat
#          - glucose
 #       exclude:
 #         - target: { os: macos }
 #           compiler: { cc: gcc }
    runs-on: ${{ matrix.target.runner }}
#    env:
#      CC: ${{ matrix.compiler.cc }}
#      CXX: ${{ matrix.compiler.cxx }}
    steps:
      - name: Checkout
        uses: actions/checkout@v4
      - name: Nix setup
        uses: DeterminateSystems/nix-installer-action@v10
      - name: Nix cache setup
        uses: DeterminateSystems/magic-nix-cache-action@v4
      - name: Build
        run: nix build .#bundled
      - name: Upload
        uses: actions/upload-artifact@v4
        with:
          name: d4-${{ matrix.target.triple }}
          path: result