Skip to content
lint

Makefile: Change some variables default value and add basic python re… #752

Sign in to view logs

Makefile: Change some variables default value and add basic python re…

Makefile: Change some variables default value and add basic python re… #752

Triggered via push February 10, 2025 13:38
@LuigiGhiondaLuigiGhionda
pushed b7377fd
lg/non_iis
Status Success
Total duration 1m 5s
Artifacts 1

lint.yml

on: push
lint-license
13s
lint-license
lint-sv
54s
lint-sv
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
verible-linter
164 Bytes