As long as the TRS output from the Stomp is a “balanced” output/signal, you can use a TRS to XLR cable. If the output is unbalanced (for example a stereo output over three wires), then you will need a direct box to convert the unbalanced signal to a balanced signal to send to the console.
EDIT – a quick internet search leads me to believe the output is balanced, so those TRS to XLR cables should work just fine. Choosing line or mic level won’t make a big difference – just the amount of preamp gain you need to apply (or not apply). Line level will require much less (if any) preamp gain vs the mic level input.