Add here https://github.com/openfheorg/openfhe-development/blob/aa8a86e1143f1e47d4354bdd757080e903ba5875/.github/workflows/pull-request.yml#L6