Skip to content

Merge branch 'master' into dev #839

Merge branch 'master' into dev

Merge branch 'master' into dev #839

Triggered via push October 21, 2025 08:01
Status Success
Total duration 51s
Artifacts

linter.yml

on: push
Type checker
20s
Type checker
Lint checker
19s
Lint checker
Fit to window
Zoom out
Zoom in