Reduce the number of object bits for refcell test #2983
Annotations
2 warnings
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "kani-latest-aarch64-apple-darwin.tar.gz", "kani-latest-x86_64-apple-darwin.tar.gz", "kani-latest-x86_64-unknown-linux-gnu.tar.gz", "linux-kani-verifier.crate", "macos-13-kani-verifier.crate", "macos-14-kani-verifier.crate".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
Set up job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Initialize containers
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Free up docker disk space
1m 24s
1m 24s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install system dependencies
48s
48s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Checkout Kani
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Setup Kani Dependencies
15m 23s
15m 23s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build bundle
4m 28s
4m 28s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Checkout Kani
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Stop containers
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading