eden-emu/eden
24
3
Fork 15
Code Issues 138 Pull requests 56 Projects 1 Releases Packages Wiki Activity Actions

[common] fix extraneous error wrt. priority queues #2598

Merged
Lizzie merged 1 commit from skkskdkskkdskdsk into master 2025-09-27 14:51:38 +02:00
Conversation 2 Commits 1 Files changed 1 +18 -9
Lizzie commented 2025-09-27 09:12:42 +02:00
Member
Copy link

This fixes an error that is reproducible (seemingly everywhere?) but on Linux. BitSet<> PR did not yield errors at the time of testing and this issue only cropped up after merge.

Signed-off-by: lizzie lizzie@eden-emu.dev

This fixes an error that is reproducible (seemingly everywhere?) but on Linux. BitSet<> PR did not yield errors at the time of testing and this issue only cropped up after merge. Signed-off-by: lizzie <lizzie@eden-emu.dev>
Lizzie added 1 commit 2025-09-27 09:12:42 +02:00
[common] fix extraneous error wrt. priority queues
All checks were successful
eden-license / license-header (pull_request) Successful in 24s
Details
f01d950ae2 
Signed-off-by: lizzie <lizzie@eden-emu.dev>
requested reviews from CamilleLaVey, Maufeat, crueter, MrPurple666, MaranBr 2025-09-27 09:12:43 +02:00
Lizzie scheduled this pull request to auto merge when all checks succeed 2025-09-27 14:46:13 +02:00
Maufeat approved these changes 2025-09-27 14:50:51 +02:00
CamilleLaVey approved these changes 2025-09-27 14:51:37 +02:00
Lizzie merged commit ba20e5c2f5 into master 2025-09-27 14:51:38 +02:00
Lizzie deleted branch skkskdkskkdskdsk 2025-09-27 14:51:39 +02:00
Sign in to join this conversation.
Reviewers
No reviewers
crueter
MrPurple666
MaranBr
Maufeat
CamilleLaVey
Labels
Clear labels   
android

Specific to android platform

  
audio

   
bug

Something is not working

  
ci

For changes to the ci/building

  
confirmed

Used when testers confirm a bug is reported and it is reproducable.

  
core

For core changes to the emulator

  
desktop

Specific to desktop PCs, handhelds, etc.

  
duplicate

This issue or pull request already exists

  
enhancement

New feature

  
frontend

Frontend changes

  
fw

Changes related to firmware

  
git

For enhancements or changes regarding git.

  
graphics

   
loader

For changes to any of the loader implementations

  
nv gpu

For use with changes that involve the emulator GPU and any services.

  
ui
No labels
android
audio
bug
ci
confirmed
core
desktop
duplicate
enhancement
frontend
fw
git
graphics
loader
nv gpu
ui
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
3 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: eden-emu/eden#2598
No description provided.
Delete branch "skkskdkskkdskdsk"

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?