feat: Add skip_deferred_proof_verification
#6187
Triggered via pull request
November 19, 2024 22:01
ratankaliani
Status
Cancelled
Total duration
2m 45s
Artifacts
–
pr.yml
on: pull_request
Test (x86-64)
1m 58s
Test (ARM)
2m 0s
Formatting & Clippy
1m 50s
Examples
2m 14s
CLI
2m 8s
Performance
0s
Spell Check
4s
Check Verifier `no_std`
31s
Check lock files
1m 54s
Matrix: Low Memory
Annotations
19 errors and 2 warnings
|
Performance
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Formatting & Clippy
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Formatting & Clippy
The operation was canceled.
|
|
Low Memory (32)
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Low Memory (32)
The operation was canceled.
|
|
Test (ARM)
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Test (ARM)
The operation was canceled.
|
|
Check lock files
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Check lock files
The operation was canceled.
|
|
Test (x86-64)
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Test (x86-64)
The operation was canceled.
|
|
Low Memory (64)
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Low Memory (64)
The operation was canceled.
|
|
CLI
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
CLI
The operation was canceled.
|
|
Low Memory (16)
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Low Memory (16)
The operation was canceled.
|
|
Examples
Canceling since a higher priority waiting request for 'PR-1760' exists
|
|
Examples
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/
|