[Synthesis] Minor cleanup #4213
Triggered via pull request
November 18, 2024 15:55
Xaver-DaRed
Xaver-DaRed
synchronize
#6439
Status
Success
Total duration
12s
Artifacts
–
pr_labels.yml
on: pull_request_target
Check_Blocking_Labels
2s