Do you have some sort of failsafe in place for developers to be able to access AWS in the event of an Okta outage? Or are the Okta user sessions long-lived enough that you'd be able to mitigate some other way if Okta was down?
If there was an emergency we have our root accounts to recover access, but it's a good point that we should probably have a second IDP as a backup.