feat(network): window-splitting 802.1Qbv GCL synthesis baseline (REQ-TSN-SYNTH-QBV-SPLIT-BASE-001) #730
avrabeci.yml
on: pull_request
Test
4m 19s
Format
13s
Clippy
3m 1s
Bench compile smoke
3m 26s
Security Audit (RustSec)
2m 28s
Cargo Deny
12s
Miri
1m 21s
Proptest (extended)
3m 17s
Fuzz smoke (60s/target)
6m 33s
Supply Chain (cargo-vet)
14s
Rivet validate (artifacts)
2m 41s
Bazel test (//...)
9s
Kani Bounded Model Checking
16m 6s
Annotations
27 warnings
|
Bazel test (//...)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, bazelbuild/setup-bazelisk@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Bazel sweep
No MODULE.bazel/WORKSPACE at repo root; skipping bazel test //... (informational).
|
|
Bazel test (//...)
Failed to restore: Cache service responded with 400
|
|
Cargo Deny
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Supply Chain (cargo-vet)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Format
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Miri
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Security Audit (RustSec)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, rustsec/audit-check@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Rivet validate (artifacts)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Clippy
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Proptest (extended)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Bench compile smoke
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Test
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Code Coverage
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4, codecov/codecov-action@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Fuzz smoke (60s/target)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Kani Bounded Model Checking
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Mutation Testing
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L152
replace / with % in check_fallback_timing
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L151
replace > with >= in check_fallback_timing
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L94
replace / with * in check_inference_deadline
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L94
replace / with % in check_inference_deadline
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L93
replace / with * in check_inference_deadline
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L93
replace / with % in check_inference_deadline
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L92
replace > with >= in check_inference_deadline
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L33
replace <impl Analysis for AiMlAnalysis>::name -> &str with "xyzzy"
|
|
Missed mutant:
crates/spar-analysis/src/ai_ml/mod.rs#L33
replace <impl Analysis for AiMlAnalysis>::name -> &str with ""
|
|
Missed mutant:
crates/spar-analysis/src/lib.rs#L213
replace AnalysisRunner::register_all_except_wctt with ()
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
coverage-html
|
2.79 MB |
sha256:d675f06c7bbed804f347d1ab9307df951dead9856422541fc976cd0f18b1cec9
|
|
|
mutants-report
|
16.2 MB |
sha256:8bbe95a407f7f3c4e32208cab3e6104a12114da4cc8a7597149dbd784198e88e
|
|
|
test-results
|
46.4 KB |
sha256:449e4e49e87c57b52267de0000c88be20f37f0818a0abf57cd82c43d3f6cf4e7
|
|