Skip to content
Lint PR Title

V2: Change default value of plugin option import_extension to none #1081

Sign in to view logs

V2: Change default value of plugin option import_extension to none

V2: Change default value of plugin option import_extension to none #1081

Triggered via pull request May 13, 2024 14:09
@timostammtimostamm
edited #832
sk/import_extension
Status Success
Total duration 15s
Artifacts –

pr-title.yaml

on: pull_request
lint  /  lint
5s
lint / lint
Fit to window
Zoom out
Zoom in