herocode/herodb
12
0
Fork 0
Code Issues 6 Pull Requests 2 Actions Packages Projects Releases Wiki Activity

append #6

Closed
despiegk wants to merge 0 commits from append into main
pull from: append
merge into: herocode:main
Conversation 0 Commits - Files Changed -
despiegk commented 2025-08-23 03:24:45 +00:00
Owner
Copy Link

can we merge in main, some restructuring

can we merge in main, some restructuring
lee was assigned by despiegk 2025-08-23 03:24:45 +00:00
despiegk added 10 commits 2025-08-23 03:24:46 +00:00
... 09553f54c8
... 9054737e84
sled backend dd90a49615
Merge branch 'main' into append 56699b9abb 
* main:
  fixed test not running due to misaligned path
... c9e1dcdb6c
... ff4ea1d844
... f17b441ca1
... 45195d403e
... 3850df89be
... a1127b72da
maximevanhees added 1 commit 2025-09-11 13:24:32 +00:00
Update tot Rust 2024 edition + update Cargo.toml file d9a3b711d1
maximevanhees added 1 commit 2025-09-11 13:25:29 +00:00
update variable name as 'gen' is a reserved keyword since Rust 2024 edition 5ea34b4445
maximevanhees closed this pull request 2025-09-11 13:35:09 +00:00
maximevanhees deleted branch append 2025-09-11 13:35:12 +00:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
delandtj despiegk GerbenKD lee MahmoudEmad maximevanhees mik-tf sabrinasadik samehabouelsaad scott thabeta thijswesterveld timur
No Assignees lee
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: herocode/herodb#6
No description provided.
Delete Branch "append"

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?