Skip to content

Merge branch 'master' into dev #2558

Merge branch 'master' into dev

Merge branch 'master' into dev #2558

Triggered via push July 4, 2026 02:00
Status Success
Total duration 39s
Artifacts

linter.yml

on: push
Type checker
30s
Type checker
Lint checker
36s
Lint checker
Zizmor checks
18s
Zizmor checks
Fit to window
Zoom out
Zoom in