Skip to content
Snippets Groups Projects

simplifications discovered while reviewing signals

Merged simplifications discovered while reviewing signals
j.prosig1 into main
Merged Wuttke, Joachim requested to merge j.prosig1 into main

Merge request reports

Pipeline #124500 passed

Stage: build

Pipeline passed for 797d45ee on j.prosig1

Approval is optional

Merged by Wuttke, JoachimWuttke, Joachim 1 year ago (Dec 21, 2023 12:21pm UTC)

Merge details

  • Changes merged into main with 7337ba1d.
  • Deleted the source branch.

Pipeline #124525 passed

Stage: build

Pipeline passed for 7337ba1d on main

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply