I know. Again FreeRTOS code takes care about the internals and (usually) works as specified. You’re still supposing that the FreeRTOS ulTaskNotifyTake implementation is broken and doesn’t work, right ?
You didn’t tell the exact problem you have. Is the ISR is never triggered or just sometimes and you miss some interrupts ? How did you verify that the ISR is not triggered as expected ? Did you set a breakpoint in the debugger or use a test flag/counter ?