Skip to content
CI

Handle Miri sysroot entirely outside the Miri driver #6941

Sign in to view logs

Handle Miri sysroot entirely outside the Miri driver

Handle Miri sysroot entirely outside the Miri driver #6941

Triggered via pull request March 26, 2024 16:17
@RalfJungRalfJung
synchronize #3411
RalfJung:sysroot
Status Success
Total duration 55m 12s
Artifacts –

ci.yml

on: pull_request
Matrix: build
style checks
2m 0s
style checks
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-latest, x86_64-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/.