Skip to content
lint

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

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… #749

Triggered via push February 3, 2025 23:15
@LuigiGhiondaLuigiGhionda
pushed 0bb8be9
lg/non_iis
Status Success
Total duration 1m 0s
Artifacts 1

lint.yml

on: push
lint-license
7s
lint-license
lint-sv
50s
lint-sv
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
verible-linter
164 Bytes