Skip to content

deps-update

deps-update #82

Triggered via repository dispatch October 24, 2024 17:26
@seL4-ciseL4-ci
deps-update 965658b
Status Success
Total duration 2m 16s
Artifacts

deploy-run-proofs.yml

on: repository_dispatch
Docker (Run Proofs)
2m 7s
Docker (Run Proofs)
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Docker (Run Proofs)
The following actions use a deprecated Node.js version and will be forced to run on node20: docker/setup-buildx-action@v2, docker/login-action@v2, docker/build-push-action@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/