Pull request #126 updated
<span class='greyed'><small>13:15:17</small> Connecting to <a href='https://api.github.com'>https://api.github.com</a> with no credentials, anonymous access
</span><span class='greyed'><small>13:15:17</small> Jenkins-Imposed API Limiter: Current quota for Github API usage has 25 remaining (1 over budget). Next quota of 60 in 17 min. Sleeping for 4 min 28 sec.
</span><span class='greyed'><small>13:15:17</small> Jenkins is attempting to evenly distribute GitHub API requests. To configure a different rate limiting strategy, such as having Jenkins restrict GitHub API requests only when near or above the GitHub rate limit, go to "GitHub API usage" under "Configure System" in the Jenkins settings.
</span><span class='greyed'><small>13:18:18</small> Jenkins-Imposed API Limiter: Still sleeping, now only 1 min 26 sec remaining.
</span><span class='greyed'><small>13:19:46</small> Jenkins-Imposed API Limiter: Current quota for Github API usage has 22 remaining (1 over budget). Next quota of 60 in 13 min. Sleeping for 4 min 36 sec.
</span><span class='greyed'><small>13:19:46</small> Jenkins is attempting to evenly distribute GitHub API requests. To configure a different rate limiting strategy, such as having Jenkins restrict GitHub API requests only when near or above the GitHub rate limit, go to "GitHub API usage" under "Configure System" in the Jenkins settings.
</span><span class='greyed'><small>13:22:47</small> Jenkins-Imposed API Limiter: Still sleeping, now only 1 min 34 sec remaining.
</span><span class='greyed'><small>13:24:23</small> Jenkins-Imposed API Limiter: Current quota for Github API usage has 19 remaining (1 over budget). Next quota of 60 in 8 min 26 sec. Sleeping for 4 min 36 sec.
</span><span class='greyed'><small>13:24:23</small> Jenkins is attempting to evenly distribute GitHub API requests. To configure a different rate limiting strategy, such as having Jenkins restrict GitHub API requests only when near or above the GitHub rate limit, go to "GitHub API usage" under "Configure System" in the Jenkins settings.
</span><span class='greyed'><small>13:27:25</small> Jenkins-Imposed API Limiter: Still sleeping, now only 1 min 34 sec remaining.
</span>Obtained Jenkinsfile from b70da0c5fdc5068d5296037c16ee812e47c4bd85+04b72c20ccb8582705cb08a35ea4de24fa6a128d (7a7851458788747de6da2a848b76939b95c311a2)
<span class="pipeline-new-node" nodeId="2" startId="2">[Pipeline] Start of Pipeline
</span><span class="pipeline-new-node" nodeId="3" startId="3" enclosingId="2">[Pipeline] node
</span><span class="pipeline-node-3">Running on <a href='/computer/derpnode%2D3000/' class='model-link model-link--float'>derpnode-3000</a> in /home/debian/workspace/users-manual_PR-126
</span><span class="pipeline-new-node" nodeId="4" startId="4" enclosingId="3">[Pipeline] {
</span><span class="pipeline-new-node" nodeId="5" startId="5" enclosingId="4">[Pipeline] stage
</span><span class="pipeline-new-node" nodeId="6" startId="6" enclosingId="5" label="Declarative: Checkout SCM">[Pipeline] { (Declarative: Checkout SCM)
</span><span class="pipeline-new-node" nodeId="7" enclosingId="6">[Pipeline] checkout
</span><span class="pipeline-node-7">Selected Git installation does not exist. Using Default
The recommended git tool is: NONE
No credentials specified
Fetching changes from the remote Git repository
Cleaning workspace
Fetching without tags
Merging remotes/origin/master commit 04b72c20ccb8582705cb08a35ea4de24fa6a128d into PR head commit b70da0c5fdc5068d5296037c16ee812e47c4bd85
Merge succeeded, producing b70da0c5fdc5068d5296037c16ee812e47c4bd85
Checking out Revision b70da0c5fdc5068d5296037c16ee812e47c4bd85 (PR-126)
Commit message: "Merge branch 'master' into endgen"
 &gt; git rev-parse --resolve-git-dir /home/debian/workspace/users-manual_PR-126/.git # timeout=10
 &gt; git config remote.origin.url <a href='https://github.com/cuberite/users-manual.git'>https://github.com/cuberite/users-manual.git</a> # timeout=10
 &gt; git rev-parse --verify HEAD # timeout=10
Resetting working tree
 &gt; git reset --hard # timeout=10
 &gt; git clean -fdx # timeout=10
Fetching upstream changes from <a href='https://github.com/cuberite/users-manual.git'>https://github.com/cuberite/users-manual.git</a>
 &gt; git --version # timeout=10
 &gt; git --version # 'git version 2.39.2'
 &gt; git fetch --no-tags --force --progress -- <a href='https://github.com/cuberite/users-manual.git'>https://github.com/cuberite/users-manual.git</a> +refs/pull/126/head:refs/remotes/origin/PR-126 +refs/heads/master:refs/remotes/origin/master # timeout=10
 &gt; git config core.sparsecheckout # timeout=10
 &gt; git checkout -f b70da0c5fdc5068d5296037c16ee812e47c4bd85 # timeout=10
 &gt; git remote # timeout=10
 &gt; git config --get remote.origin.url # timeout=10
 &gt; git merge 04b72c20ccb8582705cb08a35ea4de24fa6a128d # timeout=10
 &gt; git rev-parse HEAD^{commit} # timeout=10
 &gt; git config core.sparsecheckout # timeout=10
 &gt; git checkout -f b70da0c5fdc5068d5296037c16ee812e47c4bd85 # timeout=10
 &gt; git branch -a -v --no-abbrev # timeout=10
 &gt; git branch -D PR-126 # timeout=10
 &gt; git checkout -b PR-126 b70da0c5fdc5068d5296037c16ee812e47c4bd85 # timeout=10
 &gt; git rev-list --no-walk fe11e9cedd3c31fcd04941c93aa7d09113f8e641 # timeout=10
Cleaning workspace
</span><span class="pipeline-new-node" nodeId="8" startId="6">[Pipeline] }
</span><span class="pipeline-node-7"> &gt; git rev-parse --verify HEAD # timeout=10
Resetting working tree
 &gt; git reset --hard # timeout=10
 &gt; git clean -fdx # timeout=10
</span><span class="pipeline-new-node" nodeId="9" startId="5">[Pipeline] // stage
</span><span class="pipeline-new-node" nodeId="10" startId="10" enclosingId="4">[Pipeline] withEnv
</span><span class="pipeline-new-node" nodeId="11" startId="11" enclosingId="10">[Pipeline] {
</span><span class="pipeline-new-node" nodeId="12" startId="12" enclosingId="11">[Pipeline] withEnv
</span><span class="pipeline-new-node" nodeId="13" startId="13" enclosingId="12">[Pipeline] {
</span><span class="pipeline-new-node" nodeId="14" startId="14" enclosingId="13">[Pipeline] withDockerRegistry
</span><span class="pipeline-node-14">$ docker login -u jenkins -p ******** <a href='https://registry.cuberite.org'>https://registry.cuberite.org</a>
WARNING! Using --password via the CLI is insecure. Use --password-stdin.
WARNING! Your password will be stored unencrypted in /home/debian/workspace/users-manual_PR-126@tmp/9ac4b781-ce5a-4a7a-a632-fc04f9539735/config.json.
Configure a credential helper to remove this warning. See
<a href='https://docs.docker.com/engine/reference/commandline/login/#credentials-store'>https://docs.docker.com/engine/reference/commandline/login/#credentials-store</a>

Login Succeeded
</span><span class="pipeline-new-node" nodeId="15" startId="15" enclosingId="14">[Pipeline] {
</span><span class="pipeline-new-node" nodeId="16" enclosingId="15">[Pipeline] isUnix
</span><span class="pipeline-new-node" nodeId="17" startId="17" enclosingId="15">[Pipeline] withEnv
</span><span class="pipeline-new-node" nodeId="18" startId="18" enclosingId="17">[Pipeline] {
</span><span class="pipeline-new-node" nodeId="19" enclosingId="18">[Pipeline] sh
</span><span class="pipeline-node-19">+ docker inspect -f . cuberite/docker-ci/users-manual:latest

Error: No such object: cuberite/docker-ci/users-manual:latest
</span><span class="pipeline-new-node" nodeId="20" enclosingId="18">[Pipeline] sh
</span><span class="pipeline-node-20">+ docker inspect -f . registry.cuberite.org/cuberite/docker-ci/users-manual:latest
.
</span><span class="pipeline-new-node" nodeId="21" startId="18">[Pipeline] }
</span><span class="pipeline-new-node" nodeId="22" startId="17">[Pipeline] // withEnv
</span><span class="pipeline-new-node" nodeId="23" startId="23" enclosingId="15">[Pipeline] withDockerContainer
</span><span class="pipeline-node-23">derpnode-3000 does not seem to be running inside a container
$ docker run -t -d -u 0:0 -w /home/debian/workspace/users-manual_PR-126 -v /home/debian/workspace/users-manual_PR-126:/home/debian/workspace/users-manual_PR-126:rw,z -v /home/debian/workspace/users-manual_PR-126@tmp:/home/debian/workspace/users-manual_PR-126@tmp:rw,z -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** registry.cuberite.org/cuberite/docker-ci/users-manual:latest cat
$ docker top 455468ad4994c14ed9a25c5fb815081ddac46d4a91401b283aaf3dab71816186 -eo pid,comm
</span><span class="pipeline-new-node" nodeId="24" startId="24" enclosingId="23">[Pipeline] {
</span><span class="pipeline-new-node" nodeId="25" startId="25" enclosingId="24">[Pipeline] stage
</span><span class="pipeline-new-node" nodeId="26" startId="26" enclosingId="25" label="Build">[Pipeline] { (Build)
</span><span class="pipeline-new-node" nodeId="27" enclosingId="26">[Pipeline] sh
</span><span class="pipeline-node-27">+ python3 generate.py
</span><span class="pipeline-new-node" nodeId="28" enclosingId="26">[Pipeline] sh
</span><span class="pipeline-node-28">+ html5validator --root out
</span><span class="pipeline-new-node" nodeId="29" startId="26">[Pipeline] }
</span><span class="pipeline-new-node" nodeId="30" startId="25">[Pipeline] // stage
</span><span class="pipeline-new-node" nodeId="31" startId="24">[Pipeline] }
</span><span class="pipeline-node-31">$ docker stop --time=1 455468ad4994c14ed9a25c5fb815081ddac46d4a91401b283aaf3dab71816186
$ docker rm -f 455468ad4994c14ed9a25c5fb815081ddac46d4a91401b283aaf3dab71816186
</span><span class="pipeline-new-node" nodeId="32" startId="23">[Pipeline] // withDockerContainer
</span><span class="pipeline-new-node" nodeId="33" startId="15">[Pipeline] }
</span><span class="pipeline-new-node" nodeId="34" startId="14">[Pipeline] // withDockerRegistry
</span><span class="pipeline-new-node" nodeId="35" startId="13">[Pipeline] }
</span><span class="pipeline-new-node" nodeId="36" startId="12">[Pipeline] // withEnv
</span><span class="pipeline-new-node" nodeId="37" startId="11">[Pipeline] }
</span><span class="pipeline-new-node" nodeId="38" startId="10">[Pipeline] // withEnv
</span><span class="pipeline-new-node" nodeId="39" startId="4">[Pipeline] }
</span><span class="pipeline-new-node" nodeId="40" startId="3">[Pipeline] // node
</span><span class="pipeline-new-node" nodeId="41" startId="2">[Pipeline] End of Pipeline
</span>Finished: SUCCESS