make sure make-php-keyring.sh has imported keys successfully
Ouverte
bug
- Langage dominant
- Shell
- Étoiles
- 3
- Forks
- 0
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
fail if some keys are missing.
It happens sometimes that keys are missing after a successful run. The script should fail if that happens.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.