Skip to content

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

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

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

Triggered via push October 6, 2025 14:52
Status Success
Total duration 17s
Artifacts

lint.yml

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