1
0
mirror of https://github.com/olofk/serv.git synced 2026-02-26 16:23:23 +00:00
Files
olofk.serv/.github/workflows/lint.yml
Olof Kindgren 37724d8d9f Fix Github actions
Repair the lint and CI actions. Add formal verification.
2023-05-07 22:33:49 +02:00

19 lines
419 B
YAML

on: [push, pull_request]
jobs:
lint:
runs-on: ubuntu-latest
name: Linter
env:
REPO : serv
VLNV : serv
steps:
- name: Checkout repo
uses: actions/checkout@v3
with:
path: serv
- run: sudo apt install verilator
- run: pip3 install fusesoc
- run: fusesoc library add $REPO $GITHUB_WORKSPACE/$REPO
- run: fusesoc run --target=lint $VLNV