Skip to content

Merge branch 'master' into dev #2573

Merge branch 'master' into dev

Merge branch 'master' into dev #2573

Triggered via push July 25, 2026 02:13
Status Success
Total duration 49s
Artifacts

linter.yml

on: push
Type checker
41s
Type checker
Lint checker
45s
Lint checker
Zizmor checks
21s
Zizmor checks
Fit to window
Zoom out
Zoom in