pub const DEVELOPMENT_IPA_NAME: &str = "application-development.ipa";
Exact IPA filename published by the protected GitHub Actions job.