Skip to content

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

chore: merge 'develop' into 'main'

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

Triggered via pull request December 10, 2025 03:51
Status Success
Total duration 5m 20s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
15.1 KB
sha256:f444bb66c6607185b5e882f7b2ea752780dacdb353f7574d856eaaffb80ceb24