Post-merge actions

minor fix error for merging ucos and ucos_from_cos #103

Sign in to view logs

Triggered via pull request December 11, 2025 13:08

xueweic

closed #124

Status Success

Total duration 3m 48s

Artifacts –

merge.yml

on: pull_request_target

update_coverage_badge