make sure make-php-keyring.sh has imported keys successfully
Aperta
bug
- Lingua principale
- Shell
- Stelle
- 3
- Fork
- 0
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
fail if some keys are missing.
It happens sometimes that keys are missing after a successful run. The script should fail if that happens.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.