chore: deprecate cargo prove #6136
Triggered via pull request
November 14, 2024 22:53
nhtyy
Status
Cancelled
Total duration
9m 45s
Artifacts
–
pr.yml
on: pull_request
Test (x86-64)
9m 3s
Test (ARM)
9m 2s
Formatting & Clippy
1m 16s
Examples
2m 26s
Tests
2m 25s
CLI
5m 32s
Performance
6m 31s
Spell Check
11s
Check Verifier `no_std`
34s
Check lock files
0s
Matrix: Low Memory
Annotations
14 errors and 8 warnings
|
Formatting & Clippy
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
|
|
Examples
Process completed with exit code 1.
|
|
Tests
Process completed with exit code 1.
|
|
Check lock files
Canceling since a higher priority waiting request for 'PR-1792' exists
|
|
Test (x86-64)
Canceling since a higher priority waiting request for 'PR-1792' exists
|
|
Test (x86-64)
The operation was canceled.
|
|
Test (ARM)
Canceling since a higher priority waiting request for 'PR-1792' exists
|
|
Test (ARM)
The operation was canceled.
|
|
Low Memory (32)
Canceling since a higher priority waiting request for 'PR-1792' exists
|
|
Low Memory (32)
The operation was canceled.
|
|
Low Memory (64)
Canceling since a higher priority waiting request for 'PR-1792' exists
|
|
Low Memory (64)
The operation was canceled.
|
|
Low Memory (16)
Canceling since a higher priority waiting request for 'PR-1792' exists
|
|
Low Memory (16)
The operation was canceled.
|
|
Spell Check
The following actions uses node12 which is deprecated and will be forced to run on node16: getsentry/action-git-diff-suggestions@main. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Spell Check
The following actions use a deprecated Node.js version and will be forced to run on node20: getsentry/action-git-diff-suggestions@main. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Formatting & Clippy
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Formatting & Clippy
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Examples
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Tests
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
CLI
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Performance
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|