Skip to content
Lint

Update tool_name from 'CodeQL' to 'codeql' #575

Sign in to view logs

Update tool_name from 'CodeQL' to 'codeql'

Update tool_name from 'CodeQL' to 'codeql' #575

Triggered via push April 14, 2025 21:52
@Dylan-RinkerDylan-Rinker
pushed 6e69a1b
addToolName
Status Success
Total duration 37s
Artifacts –

lint.yaml

on: push
lint
29s
lint
Fit to window
Zoom out
Zoom in