Add option to disable the decompilation+recompilation pipeline (#304)
Co-authored-by: Sebastian Hartte <shartte@users.noreply.github.com>
B
Bruno Ploumhans committed
8de12f32b46c42ec310748275fd0ec8c410974f3
Parent: 5e75c91
Committed by GitHub <noreply@github.com>
on 12/11/2025, 10:04:11 PM