make sure make-php-keyring.sh has imported keys successfully
Open
bug
- Dominant language
- Shell
- Stars
- 3
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
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.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.