chore(core): ALU tables verifies pc control flow #6246
Triggered via pull request
November 22, 2024 19:56
Status
Cancelled
Total duration
2m 20s
Artifacts
–
pr.yml
on: pull_request
Test (x86-64)
1m 37s
Test (ARM)
1m 41s
Formatting & Clippy
1m 44s
Examples
50s
CLI
1m 43s
Performance
44s
Spell Check
6s
Check Verifier `no_std`
35s
Check lock files
1m 50s
Matrix: Low Memory
Annotations
18 errors and 2 warnings
Spell Check
Error: There were some changed files, please update your PR with the code review suggestions
|
Low Memory (64)
Canceling since a higher priority waiting request for 'PR-1808' exists
|
Examples
Canceling since a higher priority waiting request for 'PR-1808' exists
|
Performance
Canceling since a higher priority waiting request for 'PR-1808' exists
|
Test (x86-64)
Canceling since a higher priority waiting request for 'PR-1808' exists
|
Test (x86-64)
The operation was canceled.
|
CLI
Canceling since a higher priority waiting request for 'PR-1808' exists
|
CLI
The operation was canceled.
|
Test (ARM)
Canceling since a higher priority waiting request for 'PR-1808' exists
|
Test (ARM)
The operation was canceled.
|
Formatting & Clippy
Canceling since a higher priority waiting request for 'PR-1808' exists
|
Formatting & Clippy
The operation was canceled.
|
Low Memory (32)
Canceling since a higher priority waiting request for 'PR-1808' exists
|
Low Memory (32)
The operation was canceled.
|
Check lock files
Canceling since a higher priority waiting request for 'PR-1808' exists
|
Check lock files
The operation was canceled.
|
Low Memory (16)
Canceling since a higher priority waiting request for 'PR-1808' 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/
|