No, it is not. You pointed a false equivalence. Do for me the web search that points women struggling for the right to work in coal mining, be sent by hundred of thousands to war and things like that. This don't happen (and shouldn't!). We are animals, after all, and the biology demands from us (both woman and man) different things. If men could get pregnant, I could bet with you that this would be a good reason to have women into mining. Thanks god, we can't. It is a harder job than coal mining.
>Mining is dominated by men. A survey by Women in Mining found that 12 per cent of executives in the industry were female and that, without intervention.
executives. no one wants to inhale coal dust, i suppose.
> Women have campaigned hard to be allowed to go into "front line combat"
That's rather a separate issue, though. That's not just alleged bias, it's categorically blocking them based on evidence suggesting lower effectiveness of mixed-gender teams in combat roles.
I'm not saying it's right or wrong, but what's being campaigned against is very different from 'technical companies are not hiring enough women'.