Repository navigation
spec(port): port the cover-traffic timing correlation guard (Refs #8887) - #9828
Closed
dmitrii-f-t27 wants to merge 1 commit into
Closed
dmitrii-f-t27 wants to merge 1 commit into
dmitrii-f-t27 wants to merge 1 commit into
Annotations
1 error, 1 warning, and 1 notice
|
The ratchet verdict is this check's conclusion
Process completed with exit code 1.
|
|
Complete job
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/cache/save@v4, actions/cache@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Summary (counted number and ratchet verdict)
t27b 1534 / reference 1595 native arm64 (+3 pass_vacuous, 3 outside the reference; 2041 files; jit/interp mismatch 1; reference disagree 0); ratchet red; corpus 445 s
|
background
wait
wait-all
cancel
parallel
Loading