Skip to content
Rust

Final borrow #3091

Sign in to view logs

Final borrow

Final borrow #3091

Triggered via pull request November 30, 2023 16:35
@arnaudgolfousearnaudgolfouse
opened #912
arnaudgolfouse:final-borrow
Status Failure
Total duration 3m 40s
Artifacts –

rust.yml

on: pull_request
fmt
24s
fmt
contracts-build
35s
contracts-build
build
3m 29s
build
why3
1m 41s
why3
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 4 warnings
fmt
Process completed with exit code 1.
why3
Process completed with exit code 1.
build
Process completed with exit code 101.
fmt
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
contracts-build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
why3
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/