Skip to content

chore: compile time errors for conflicting flags, clean up flags in sdk #6219

chore: compile time errors for conflicting flags, clean up flags in sdk

chore: compile time errors for conflicting flags, clean up flags in sdk #6219

Triggered via pull request November 20, 2024 23:14
Status Cancelled
Total duration 38s
Artifacts

pr.yml

on: pull_request
Test (x86-64)
0s
Test (x86-64)
Test (ARM)
0s
Test (ARM)
Formatting & Clippy
0s
Formatting & Clippy
Examples
0s
Examples
CLI
0s
CLI
Performance
0s
Performance
Spell Check
9s
Spell Check
Check Verifier `no_std`
24s
Check Verifier `no_std`
Check lock files
0s
Check lock files
Matrix: Low Memory
Fit to window
Zoom out
Zoom in

Annotations

12 errors and 2 warnings
Test (x86-64)
Canceling since a higher priority waiting request for 'PR-1805' exists
Formatting & Clippy
Canceling since a higher priority waiting request for 'PR-1805' exists
Low Memory (16)
Canceling since a higher priority waiting request for 'PR-1805' exists
Performance
Canceling since a higher priority waiting request for 'PR-1805' exists
Examples
Canceling since a higher priority waiting request for 'PR-1805' exists
Check lock files
Canceling since a higher priority waiting request for 'PR-1805' exists
CLI
Canceling since a higher priority waiting request for 'PR-1805' exists
Test (ARM)
Canceling since a higher priority waiting request for 'PR-1805' exists
Low Memory (32)
Canceling since a higher priority waiting request for 'PR-1805' exists
Low Memory (64)
Canceling since a higher priority waiting request for 'PR-1805' exists
Check Verifier `no_std`
Canceling since a higher priority waiting request for 'PR-1805' exists
Check Verifier `no_std`
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/