Skip to content
Post-merge actions

Update about post-filtering of uCoS #100

Sign in to view logs

Update about post-filtering of uCoS

Update about post-filtering of uCoS #100

Triggered via pull request December 10, 2025 15:59
@gaowgaow
closed #123
Status Success
Total duration 3m 45s
Artifacts –

merge.yml

on: pull_request_target
update_coverage_badge
1m 42s
update_coverage_badge
update_website
3m 42s
update_website
Fit to window
Zoom out
Zoom in