Skip to content
lint

sw: Add Snitch runtime #2934

Sign in to view logs

sw: Add Snitch runtime

sw: Add Snitch runtime #2934

Triggered via push January 8, 2025 08:28
@CyrilKoeCyrilKoe
pushed 64fba1c
ck/paper_final
Status Failure
Total duration 1m 45s
Artifacts –

lint.yml

on: push
lint-license
9s
lint-license
lint-sv
1m 35s
lint-sv
Fit to window
Zoom out
Zoom in

Annotations

11 errors
lint-license: hw/axi_fifo_delay_dyn.sv#L2
FAILED: Licence did not match
lint-license: hw/stream_fifo_delay_dyn.sv#L2
FAILED: Licence did not match
lint-license: sw/tests/bare-metal/snitchd/Makefile#L1
FAILED: File does not start with comment
lint-license: sw/tests/bare-metal/snitchd/omptarget.c#L1
FAILED: File does not start with comment
lint-license: sw/tests/bare-metal/snitchd/runtime/crt0.S#L1
FAILED: File does not start with comment
lint-license: sw/tests/bare-metal/snitchd/runtime/crt0.S#L1
FAILED: File does not start with comment
lint-license: sw/tests/bare-metal/snitchd/runtime/encoding.h#L1
FAILED: File does not start with comment
lint-license: sw/tests/bare-metal/snitchd/runtime/printf.c#L1
FAILED: File does not start with comment
lint-license: sw/tests/bare-metal/snitchd/runtime/printf.h#L31
FAILED: First comment ended before licence notice
lint-license: sw/tests/bare-metal/snitchd/runtime/runtime.h#L1
FAILED: File does not start with comment
lint-sv
Process completed with exit code 1.