ci.yml

---
name: CI
on: [ workflow_dispatch, push, pull_request ]
jobs:
  omnilint:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4.1.1
      - uses: docker://lpenz/omnilint:0.5.1
  rust:
    uses: lpenz/ghworkflow-rust/.github/workflows/rust.yml@v0.19.0
    with:
      dependencies_debian: 'libclang-dev libz3-dev'
      coveralls: true
      publish_cratesio: false
      publish_github_release: false
  solve:
    strategy:
        matrix:
          day:
            - day01
            - day02
            - day03
            - day04
            - day05
            - day06
            - day07
            - day08
            - day09
            - day10
            - day11
            - day12
            - day13
            - day14
            - day15
            - day16
            - day17
            - day18
            - day19
            - day20
            - day21
            - day22
            - day23
            - day24
            - day25
            # end
    if: github.ref == 'refs/heads/main'
    needs: [ omnilint, rust ]
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4.1.1
      - name: build ${{ matrix.day }}
        run: |
          cargo build \
            --release \
            -p ${{ matrix.day }}
      - name: solve ${{ matrix.day }}
        run: |
          for part in a b; do
            bin="./target/release/${{ matrix.day }}$part"
            if [ -x "$bin" ]; then
              (set -x; "$bin" < ${{ matrix.day }}/input.txt) 2>&1 | tee -a "$GITHUB_STEP_SUMMARY"
            fi
          done