Skip to content
lint

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

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

Triggered via push February 11, 2025 09:27
@LuigiGhiondaLuigiGhionda
pushed e7f3da1
lg/non_iis
Status Success
Total duration 57s
Artifacts 1

lint.yml

on: push
lint-license
8s
lint-license
lint-sv
48s
lint-sv
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
verible-linter
164 Bytes