Skip to content
buildpack-deps

update z3 in docker files #195

Sign in to view logs

update z3 in docker files

update z3 in docker files #195

Triggered via pull request March 28, 2023 09:11
@leonardoaltleonardoalt
synchronize #14074
update_z3_docker
Status Success
Total duration 1h 12m 46s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

buildpack-deps.yml

on: pull_request
Matrix: buildpack-deps
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
buildpack-deps (ubuntu2204.clang)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
buildpack-deps (ubuntu1604.clang.ossfuzz)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
buildpack-deps (ubuntu2204)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
buildpack-deps (emscripten)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.