Skip to content
Lint

[FIX] is_option_set: match both long and short ids #168

Sign in to view logs

[FIX] is_option_set: match both long and short ids

[FIX] is_option_set: match both long and short ids #168

Triggered via pull request April 9, 2024 11:31
@eseilereseiler
synchronize #226
Status Success
Total duration 46s
Artifacts –

lint.yml

on: pull_request_target
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Lint
23s
Lint
Fit to window
Zoom out
Zoom in