Skip to content

Auto merge of #3475 - RalfJung:reduce-reuse-recycle, r=RalfJung #7142

Auto merge of #3475 - RalfJung:reduce-reuse-recycle, r=RalfJung

Auto merge of #3475 - RalfJung:reduce-reuse-recycle, r=RalfJung #7142

Triggered via push April 19, 2024 20:50
Status Success
Total duration 29m 21s
Artifacts

ci.yml

on: push
Matrix: build
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
style checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (macos-14, aarch64-apple-darwin)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (windows-latest, i686-pc-windows-msvc)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
build (ubuntu-latest, x86_64-unknown-linux-gnu)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.