Contributes to #9053

Align the .github configuration in feature/abci++ppp with the one in main to avoid problems when carrying out the final merge of the feature branch into main