Same, and we also split the summer holidays a little with a good friend (so childcare spread across 4 parents’ annual leave).
Also, there is unpaid parental leave - one week per child per parent per year until either 16 or 18. Need to be taken in blocks of 1 week, and are not the same as emergency leave.
Although DP can WFH a few times a week, so from the summer holiday between year 4 and 5, we didn’t book DC into clubs on DP’s WFH days, as they could reliably entertain themselves, and thus only needed an adult in the house for safety, but not for engagement.
It worked quite well as spending the whole summer holiday in various clubs was quite tiring, and they were getting a bit bored of the same things over and over again. So a couple of days a week of downtime, mooching around doing craft, playing and reading leavens holiday camp days out very nicely.
DC is late summer-born, so depending on the child, this might be possible earlier into year 4.
One caveat I would add about holiday camps is that a lot of them do not run useful hours. Even with extended hours, the best we have locally is 8-6.