After we merge #328, our firmware files in the Driver and Utils directories (in both Inc and Src) should no longer have any lines matching the pattern #include "Pufferfish/HAL/STM32/*". We can enforce this with an automatic Github Actions check which greps for this pattern in the relevant directories, to automatically prevent accidental merging of PRs with such includes.
After we merge #328, our firmware files in the Driver and Utils directories (in both Inc and Src) should no longer have any lines matching the pattern
#include "Pufferfish/HAL/STM32/*"
. We can enforce this with an automatic Github Actions check which greps for this pattern in the relevant directories, to automatically prevent accidental merging of PRs with such includes.