When I was over there in May 2019 a BA aircraft ended up being diverted to Malaga, as I was waiting for my departure. The difference now is that all the passengers would have to go into quarantine on their return to the U.K.
i think flights into Gibraltar have to be double captained due to the tricky approach avoiding Spanish airspace and the wind off the rock.