Skip to content

chore: merge 'develop' into 'main' #2138

chore: merge 'develop' into 'main'

chore: merge 'develop' into 'main' #2138

Triggered via pull request December 11, 2025 11:48
Status Success
Total duration 58s
Artifacts

linters.yml

on: pull_request
Semantic Commits
28s
Semantic Commits
Semgrep Rules
54s
Semgrep Rules
Fit to window
Zoom out
Zoom in