ci.yml

# Copyright lowRISC contributors.
# SPDX-License-Identifier: Apache-2.0

name: CI

on:
  push:
    branches: ["main"]
  pull_request:
    branches: ["main"]

# Cancel existing runs if a pull request is pushed.
# For branch pushes, this will queue a new run and cancel the existing one. This allows the cache
# of the run to be used by the new run.
concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: ${{ github.event_name == 'pull_request' }}

jobs:
  checks:
    name: Quality Check
    runs-on: nixos-24.05
    steps:
      - name: checkout
        uses: actions/checkout@v4
        with:
          submodules: 'recursive'

      - name: Install Nix
        uses: cachix/install-nix-action@v24

      - name: Nix Format Check
        run: nix fmt -- . --check

      - name: Run Lints
        run: nix run .?submodules=1#lint-all

      - name: Build Software
        run: |
          nix build -L .?submodules=1#sonata-exercises
          nix build -L .?submodules=1#sonata-examples
          nix build -L .?submodules=1#sonata-tests

      - name: Run Nix Checks
        run: nix flake check -L .?submodules=1