Skip to content
This repository has been archived by the owner on Sep 6, 2024. It is now read-only.

Create circuits for uart rx to match PR #3 #101

Create circuits for uart rx to match PR #3

Create circuits for uart rx to match PR #3 #101

Workflow file for this run

name: "CI pipeline"
on:
push:
pull_request:
jobs:
file_endings:
runs-on: ubuntu-latest
steps:
- name: git checkout
uses: actions/checkout@v4
- name: Whitespace file endings
run: |
.ci/test_whitespace.sh
build_and_synthesize:
runs-on: ubuntu-latest
steps:
- name: git checkout
uses: actions/checkout@v4
- name: install nix
uses: cachix/install-nix-action@v22
with:
nix_path: nixpkgs=channel:nixos-unstable
- name: cache nix
uses: DeterminateSystems/magic-nix-cache-action@v2
- name: build the nix environment
run: nix-build
- name: check stylish-haskell
run: nix-shell --run "make check_format"
- name: clean linting process
run: nix-shell --run "make clean_tests"
- name: Test suite
run: nix-shell --run "make test"
- name: Test synthesis
run: nix-shell --run "make verilog"
- name: Create netlist
run: nix-shell --run "make netlist"
- name: Create Place and Route
run: nix-shell --run "make pnr"