Revert "Removed spurious recompile on integration tests (#468)"#483

Merged

volovyks merged 1 commit intodevelopfrom fix-direnv-args

Mar 11, 2024

+1-16

Commits on Mar 11, 2024

Revert "Removed spurious recompile on integration tests (#468 )"
DavidM-D
committed