Yeah, I can't be sure. However, the "tech" part of the layoff most likely falls under the R&D expenses, which are relatively small compared to their overall costs. So I don't see, how cutting any number of core development workforce would make a significant difference. At least in the financial sense.
Also, I looked at the wrong year. Currently they are in Q4 2023FY, the statements for the last quarter are here https://ir.gitlab.com/news-releases/news-release-details/git...