Imperial-MEng/WACC_37
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactor: merge labelGenerator refactors #35

Merged
gk1623 merged 3 commits from abstract-strings into master 2025-02-28 14:28:34 +00:00
Conversation 5 Commits 3 Files Changed 4 +111 -101
gk1623 commented 2025-02-28 14:24:17 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link
  • Use LabelGenerator in RuntimeErrors
  • Remove ListBuffer[String] in favour of LabelGenerator
  • Return LabelArg and LabelDef from LabelGenerator where possible
- Use LabelGenerator in RuntimeErrors - Remove `ListBuffer[String]` in favour of LabelGenerator - Return LabelArg and LabelDef from LabelGenerator where possible
gk1623 commented 2025-02-28 14:25:21 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

changed the description

changed the description
gk1623 commented 2025-02-28 14:27:30 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

Feel free to merge if you're happy with the changes.

Feel free to merge if you're happy with the changes.
jt2622 commented 2025-02-28 14:28:04 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

approved this merge request

approved this merge request
jt2622 commented 2025-02-28 14:28:33 +00:00 (Migrated from gitlab.doc.ic.ac.uk)
Copy Link

mentioned in commit cf72c5250d

mentioned in commit cf72c5250da3c76f09f6c6180d2a4541167ed0b9
jt2622 (Migrated from gitlab.doc.ic.ac.uk) merged commit cf72c5250d into master 2025-02-28 14:28:34 +00:00
jt2622 (Migrated from gitlab.doc.ic.ac.uk) approved these changes 2025-10-16 16:43:48 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
jt2622
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
cyclane
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Imperial-MEng/WACC_37#35
No description provided.
Delete Branch "abstract-strings"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?