chore: doc devs need go, unneeded clone in prover loop #6131
Triggered via pull request
November 14, 2024 21:23
Status
Cancelled
Total duration
2m 1s
Artifacts
–
pr.yml
on: pull_request
Test (x86-64)
1m 7s
Test (ARM)
1m 10s
Formatting & Clippy
1m 14s
Examples
1m 5s
Tests
1m 4s
CLI
1m 27s
Performance
1m 28s
Spell Check
6s
Check Verifier `no_std`
34s
Check lock files
0s
Matrix: Low Memory
Annotations
16 errors and 2 warnings
Check lock files
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Examples
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Test (x86-64)
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Low Memory (64)
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Tests
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Test (ARM)
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Formatting & Clippy
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Formatting & Clippy
The operation was canceled.
|
CLI
Canceling since a higher priority waiting request for 'PR-1688' exists
|
CLI
The operation was canceled.
|
Low Memory (16)
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Low Memory (16)
The operation was canceled.
|
Performance
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Performance
The operation was canceled.
|
Low Memory (32)
Canceling since a higher priority waiting request for 'PR-1688' exists
|
Low Memory (32)
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/
|