Skip to content

feat(basics)!: add options.win_border='auto' and make it default #2675

feat(basics)!: add options.win_border='auto' and make it default

feat(basics)!: add options.win_border='auto' and make it default #2675

Triggered via push October 6, 2025 16:00
Status Success
Total duration 17s
Artifacts

lint.yml

on: push
Formatting
10s
Formatting
Document generation
7s
Document generation
Lint commits
9s
Lint commits
Lint filename lengths
5s
Lint filename lengths
File case sensitivity
7s
File case sensitivity
Fit to window
Zoom out
Zoom in