Skip to content
Rocq Integration Tests

Bump docker/build-push-action from 6 to 7 #4

Sign in to view logs

Bump docker/build-push-action from 6 to 7

Bump docker/build-push-action from 6 to 7 #4

Triggered via pull request March 20, 2026 17:23
@dependabotdependabot[bot]
synchronize #40
dependabot/github_actions/docker/build-push-action-7
Status Failure
Total duration 2m 36s
Artifacts –

test-rocq-image.yml

on: pull_request
test-rocq
21s
test-rocq
test-ocaml
10s
test-ocaml
test-lsp
13s
test-lsp
test-profiling
20s
test-profiling
test-vscode
10s
test-vscode
test-emacs
17s
test-emacs
test-neovim
18s
test-neovim
test-claude
16s
test-claude
test-summary
2s
test-summary
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 14 warnings
test-lsp
Docker pull failed with exit code 1
test-neovim
Docker pull failed with exit code 1
test-rocq
Docker pull failed with exit code 1
test-emacs
Docker pull failed with exit code 1
test-claude
Docker pull failed with exit code 1
test-profiling
Docker pull failed with exit code 1
test-ocaml
Docker pull failed with exit code 1
test-summary
Process completed with exit code 1.
test-lsp
Docker pull failed with exit code 1, back off 1.28 seconds before retry.
test-lsp
Docker pull failed with exit code 1, back off 6.74 seconds before retry.
test-neovim
Docker pull failed with exit code 1, back off 1.907 seconds before retry.
test-neovim
Docker pull failed with exit code 1, back off 7.353 seconds before retry.
test-rocq
Docker pull failed with exit code 1, back off 5.955 seconds before retry.
test-rocq
Docker pull failed with exit code 1, back off 8.532 seconds before retry.
test-emacs
Docker pull failed with exit code 1, back off 3.323 seconds before retry.
test-emacs
Docker pull failed with exit code 1, back off 6.278 seconds before retry.
test-claude
Docker pull failed with exit code 1, back off 2.62 seconds before retry.
test-claude
Docker pull failed with exit code 1, back off 6.775 seconds before retry.
test-profiling
Docker pull failed with exit code 1, back off 8.466 seconds before retry.
test-profiling
Docker pull failed with exit code 1, back off 8.218 seconds before retry.
test-ocaml
Docker pull failed with exit code 1, back off 3.952 seconds before retry.
test-ocaml
Docker pull failed with exit code 1, back off 1.762 seconds before retry.