Skip to content

BUG: propagate notify_used when merging filter collections #388

BUG: propagate notify_used when merging filter collections

BUG: propagate notify_used when merging filter collections #388

Re-run triggered October 9, 2025 23:15
Status Success
Total duration 6m 37s
Artifacts 1

continuous-integration.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
Code Coverage Artifacts
298 KB
sha256:5a9f6b80101ac0dad88aa2cb7152ff7100a9a177411e2ee1da59ac862f0875d9