Started by user Michele Scuttari
[Pipeline] Start of Pipeline
[Pipeline] node
Running on x86_64-ubuntu-22.04 in /home/jenkins-agent/workdir/workspace/marco-docs
[Pipeline] {
[Pipeline] isUnix
[Pipeline] withEnv
[Pipeline] {
[Pipeline] sh
+ docker inspect -f . ghcr.io/marco-compiler/marco-debian-12-dev:latest
.
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] withDockerContainer
x86_64-ubuntu-22.04 does not seem to be running inside a container
$ docker run -t -d -u 1006:1006 -w /home/jenkins-agent/workdir/workspace/marco-docs -v /home/jenkins-agent/workdir/workspace/marco-docs:/home/jenkins-agent/workdir/workspace/marco-docs:rw,z -v /home/jenkins-agent/workdir/workspace/marco-docs@tmp:/home/jenkins-agent/workdir/workspace/marco-docs@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 ******** ghcr.io/marco-compiler/marco-debian-12-dev:latest cat
$ docker top 9a7be6c2382a09df982f2ac99380b709b8435b0b400b1f477e3a49f26b58cd12 -eo pid,comm
[Pipeline] {
[Pipeline] stage
[Pipeline] { (OS information)
[Pipeline] sh
+ cat /etc/os-release
PRETTY_NAME="Debian GNU/Linux 12 (bookworm)"
NAME="Debian GNU/Linux"
VERSION_ID="12"
VERSION="12 (bookworm)"
VERSION_CODENAME=bookworm
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"
[Pipeline] sh
+ which mlir-opt
/usr/local/bin/mlir-opt
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Checkout)
[Pipeline] git
The recommended git tool is: git
No credentials specified
Warning: JENKINS-30600: special launcher org.jenkinsci.plugins.docker.workflow.WithContainerStep$Decorator$1@501cb705; decorates RemoteLauncher[hudson.remoting.Channel@57f239b5: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
Checking out Revision 7cc206de7ecc12c8a0b5eee04f07eee2f0629739 (refs/remotes/origin/master)
 > 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
 > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 7cc206de7ecc12c8a0b5eee04f07eee2f0629739 # timeout=10
 > git branch -a -v --no-abbrev # timeout=10
 > git branch -D master # timeout=10
 > git checkout -b master 7cc206de7ecc12c8a0b5eee04f07eee2f0629739 # timeout=10
Commit message: "Publish Docker development images"
 > git rev-list --no-walk 7cc206de7ecc12c8a0b5eee04f07eee2f0629739 # timeout=10
[Checks API] No suitable checks publisher found.
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
$ docker stop --time=1 9a7be6c2382a09df982f2ac99380b709b8435b0b400b1f477e3a49f26b58cd12
$ docker rm -f --volumes 9a7be6c2382a09df982f2ac99380b709b8435b0b400b1f477e3a49f26b58cd12
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline
[Checks API] No suitable checks publisher found.
Finished: SUCCESS