Skip to content

Added MIR optimization to avoid unnecessary re-borrows #3086

Added MIR optimization to avoid unnecessary re-borrows

Added MIR optimization to avoid unnecessary re-borrows #3086

Triggered via pull request November 10, 2023 06:57
Status Failure
Total duration 2m 54s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

rust.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 4 warnings
fmt
Process completed with exit code 1.
why3
Process completed with exit code 1.
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/
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/