Skip to content
CI

miri script: build with stable toolchain #6877

Sign in to view logs

miri script: build with stable toolchain

miri script: build with stable toolchain #6877

Triggered via pull request March 24, 2024 12:27
@RalfJungRalfJung
synchronize #3402
RalfJung:miri-script
Status Cancelled
Total duration 41m 17s
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

3 errors and 3 warnings
build (windows-latest, i686-pc-windows-msvc)
Process completed with exit code 1.
build (ubuntu-latest, x86_64-unknown-linux-gnu)
The run was canceled by @RalfJung.
build (ubuntu-latest, x86_64-unknown-linux-gnu)
The operation was canceled.
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 (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 (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/.