Skip to content
Lint

Fix delete / remove or add autoload for options which have dot in their name #143

Sign in to view logs

Fix delete / remove or add autoload for options which have dot in their name

Fix delete / remove or add autoload for options which have dot in their name #143

Triggered via pull request July 5, 2025 05:31
@ilicfilipilicfilip
opened #42
filip/fix-options-with-dots
Status Success
Total duration 28s
Artifacts –

lint.yml

on: pull_request
Matrix: lint
Fit to window
Zoom out
Zoom in