No external devices used. I had used AirPods the day before, but some videos recorded afterwards do have sound. It does appear to have been a glitch with the microphone as it resolved after a restart of the phone. I noticed the issue when I posted a video to social media and on playback it said the clip had no sound. Going into photos on my phone and playing the clip, the speaker icon to mute/unmute sound was greyed out and unselectable.
I do have the Blackmagic app, but had been using the Apple camera app as I had been taking photos, so it was just easy to do video in between photos while the app was open, made easier by having the camera control button so all I had to do was hold the button down.
I’ll look at using Blackmagic next time I do video, at least I’ll be able to check the microphones aren’t glitched before starting recording.
Thanks for the reply and suggestions.