Port merged Pull Request

Fix #5923: To be deleted bitstreams should be highlighted #2705

Sign in to view logs

Triggered via pull request July 9, 2026 20:15

tdonohue

closed #5924

Status Success

Total duration 34s

Artifacts –

port_merged_pull_request.yml

on: pull_request_target