Skip to content
lint

sw: Add Snitch runtime #2943

Sign in to view logs

sw: Add Snitch runtime

sw: Add Snitch runtime #2943

Triggered via push January 14, 2025 20:00
@CyrilKoeCyrilKoe
pushed dbb4ad3
date_iommu_evaluation
Status Failure
Total duration 58s
Artifacts –

lint.yml

on: push
lint-license
6s
lint-license
lint-sv
49s
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.