Skip to content

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

chore: merge 'develop' into 'main'

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

Triggered via pull request December 17, 2025 05:20
Status Success
Total duration 5m 43s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact Expired
14.6 KB
sha256:fb1000c8c8367676274de589966bd362ec91ac56e5635ca34031c0f5b9d095c2