Console Output

The recommended git tool is: git
No credentials specified
Warning: JENKINS-30600: special launcher org.jenkinsci.plugins.docker.workflow.WithContainerStep$Decorator$1@24f8321d; decorates RemoteLauncher[hudson.remoting.Channel@381fd618:x86_64-ubuntu-22.04] will be ignored (a typical symptom is the Git executable not being run inside a designated container)
Fetching changes from the remote Git repository
 > git rev-parse --resolve-git-dir /home/jenkins-agent/workdir/workspace/marco-docs/.git # timeout=10
 > git config remote.origin.url https://github.com/marco-compiler/marco.git # timeout=10
Fetching upstream changes from https://github.com/marco-compiler/marco.git
 > git --version # timeout=10
 > git --version # 'git version 2.34.1'
 > git fetch --tags --force --progress -- https://github.com/marco-compiler/marco.git +refs/heads/*:refs/remotes/origin/* # timeout=10
Checking out Revision 96e00377da809291ffa342c585795561c0fc20f8 (refs/remotes/origin/master)
Commit message: "Fix test descriptions"
 > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 96e00377da809291ffa342c585795561c0fc20f8 # timeout=10
 > git branch -a -v --no-abbrev # timeout=10
 > git branch -D master # timeout=10
 > git checkout -b master 96e00377da809291ffa342c585795561c0fc20f8 # timeout=10
 > git rev-list --no-walk 3ee035274dd0478e2f738be4af6e58d541b111e9 # timeout=10
[Checks API] No suitable checks publisher found.