Skip to content

Merge 'main-server' into 'develop' #206

Merge 'main-server' into 'develop'

Merge 'main-server' into 'develop' #206

Triggered via pull request July 1, 2025 19:15
Status Success
Total duration 38s
Artifacts

lint.yml

on: pull_request
Run Linter
34s
Run Linter
Fit to window
Zoom out
Zoom in