Skip to content

Exercise HAC rego updated with GPIO name #182

Exercise HAC rego updated with GPIO name

Exercise HAC rego updated with GPIO name #182

Workflow file for this run

# 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-automotive-demo-legacy-component
nix build -L .?submodules=1#sonata-tests
- name: Run Nix Checks
run: nix flake check -L .?submodules=1