Push event to branch Remove-bounds-checking
Connecting to https://api.github.com using GitHub Access Token
Obtained .CI/Jenkinsfile from b1aad1f69bdc4fd46f3db81fa8adbed0b6bc1e3d
[Pipeline] Start of Pipeline
[Pipeline] node
Running on r7945-1 in /var/lib/jenkins/ws/delica.jl_Remove-bounds-checking
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Declarative: Agent Setup)
[Pipeline] isUnix
[Pipeline] withEnv
[Pipeline] {
[Pipeline] sh
+ docker pull 1.10.0-bookworm
Using default tag: latest
Error response from daemon: pull access denied for 1.10.0-bookworm, repository does not exist or may require 'docker login': denied: requested access to the resource is denied
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline
ERROR: script returned exit code 1

GitHub has been notified of this commit’s build result

Finished: FAILURE