add Heurist to Base #1014
+21
−0
Merged
add Heurist to Base #1014
Mergify / Queue: Embarked in merge queue
succeeded
Dec 10, 2024 in 0s
The pull request embarked with master (91635a1) will be merged soon
Required conditions for merge:
Loading