The documentation has a very useful configuration for Travis and CircleCI but not for GitLab CI. So, I thought that might be useful to have that as well. PR Close #40411
The documentation has a very useful configuration for Travis and CircleCI but not for GitLab CI. So, I thought that might be useful to have that as well. PR Close #40411