Nearly complete with a 75x12' lap pool. Shotcrete + plaster/quartz. Water in it for almost 3 weeks.
As it turns out, the pool is just under 73' long. I didn't have a tape measure to measure it at the time and we had some other issues during excavation (we had to over-ex for clay) that set...