Skip to content
Linter

Remove deprecated cli options and preludes #2862

Sign in to view logs

Remove deprecated cli options and preludes

Remove deprecated cli options and preludes #2862

Triggered via pull request November 5, 2024 11:08
@HalbarothHalbaroth
opened #1265
Halbaroth:remove-deprecated-cli-options
Status Success
Total duration 1m 48s
Artifacts –

linter.yml

on: pull_request
Check style
1m 36s
Check style
Matrix: Check indentation
Fit to window
Zoom out
Zoom in