make sure make-php-keyring.sh has imported keys successfully
Offen
bug
- Vorherrschende Sprache
- Shell
- Sterne
- 3
- Forks
- 0
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
fail if some keys are missing.
It happens sometimes that keys are missing after a successful run. The script should fail if that happens.
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.