Skip to content

refactor(profiling): change how GenInfo::is_running works - #15508

Merged
KowalskiThomas merged 1 commit into
mainfrom
kowalski/refactor-profiling-change-how-geninfo-is_running-works
Dec 5, 2025
Merged

refactor(profiling): change how GenInfo::is_running works#15508
KowalskiThomas merged 1 commit into
mainfrom
kowalski/refactor-profiling-change-how-geninfo-is_running-works

refactor(profiling): change how GenInfo::is_running works

8357206
Select commit
Loading
Failed to load commit list.
DD-MergeGate / devflow/mergegate succeeded Dec 4, 2025

Merge Gate

Merge Gate status is success

Details

  • All applicable commits are signed and verified
    Digest: 7ffd4a8
View more details on DD-MergeGate