Skip to content

merge branch "dev" into branch "master" #333

merge branch "dev" into branch "master"

merge branch "dev" into branch "master" #333

Triggered via pull request December 17, 2025 20:33
@jorgenwhjorgenwh
synchronize #161
dev
Status Success
Total duration 17s
Artifacts

pr-checks.yml

on: pull_request
Type Check, Build & Audit
13s
Type Check, Build & Audit
Fit to window
Zoom out
Zoom in