Hi, On Wed, 1 Feb 2023 14:13:02 -0800, Paul E. McKenney wrote: > On Wed, Feb 01, 2023 at 05:15:29PM -0300, Leonardo Bras wrote: >> Having this file merged on the main repository will trigger the Gitlab-CI >> on the mirror: https://gitlab.com/linux-kernel/perfbook/ after each push. >> >> The way it works: >> - Compile-test CodeSamples >> - IF pass, build PDFs: regular, 1c, eb >> >> Signed-off-by: Leonardo Bras <leobras.c@xxxxxxxxx> > > Queued and pushed, thank you! Let's see how github (as oppoed to your > gitlab) reacts to this. ;-) I happen to have a perfbook repo at gitlab where CI is not set up. When I pushed this change, I got a mail from gitlab saying: > Subject: perfbook | Failed pipeline for gitlab-ci | 55c81b9b > > Pipeline #764856510 has failed! I don't think it is reasonable for Paul's repo to have gitlab specific settings like this. Paul, can you please revert this? Thanks, Akira > > Thanx, Paul
