Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2024-10-01 01:45:38 -04:00
Code Issues Packages Projects Releases Wiki Activity

ci: add the verilator lint

Browse Source 
Signed-off-by: Daniel Lublin <daniel@lublin.se>
This commit is contained in:
Daniel Lublin 2023-02-06 09:09:37 +01:00
parent 31fa0b476c
commit b1fbf8c1dc
No known key found for this signature in database
GPG Key ID: 75BD0FEB8D3E7830
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/ci.yaml vendored
View File

@ -31,6 +31,11 @@ jobs:
working-directory: hw/application_fpga
run: make firmware.bin testfw.bin all
# this should to fail on errors, but not on warnings (using -Wno-fatal)
- name: lint using verilator
working-directory: hw/application_fpga
run: make lint
- name: check fmt of c code
working-directory: hw/application_fpga
run: |