Worked in the defence industry for a few years in the 2000s. I worked on exactly one Ada project. The rest were C/C++. I presume the shift away from Ada has accelerated if anythinng.
Every Rolls-Royce gas turbine FADEC runs ADA binaries on a custom processor [1].
It's also used extensively at Airbus. Lots of DO-178C (safety critical aerospace).
1: https://www.his-conference.co.uk/session/visiumcore-a-high-i...
https://www.ghs.com/products/ada_optimizing_compilers.html
https://www.ptc.com/en/products/developer-tools/apexada
https://www.ddci.com/products_score/
http://www.irvine.com/tech.html
The Ada mandate for mission-critical software was only in place from 1991-1997.