Skip to content

BUG: propagate notify_used when merging filter collections #379

BUG: propagate notify_used when merging filter collections

BUG: propagate notify_used when merging filter collections #379

Re-run triggered October 7, 2025 20:42
Status Success
Total duration 7m 58s
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:1d057dc2da050b0e93973c6359cad77a3442c8a46dbf2bec91832d344ab099f7