Skip to content
Snippets Groups Projects

restore coverage tool, and remove some unused code

Merged restore coverage tool, and remove some unused code
j.cleanup into main
Merged Wuttke, Joachim requested to merge j.cleanup into main

Merge request reports

Pipeline #114454 passed

Stage: build

Pipeline passed for c5936556 on j.cleanup

Merged by Wuttke, JoachimWuttke, Joachim 1 year ago (Oct 10, 2023 2:33pm UTC)

Loading

Pipeline #114459 passed

Stage: build

Pipeline passed for 54ae1c29 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