Skip to content

README: Add warning that MLD_CONFIG_REDUCE_RAM is not covered by CBMC #571

README: Add warning that MLD_CONFIG_REDUCE_RAM is not covered by CBMC

README: Add warning that MLD_CONFIG_REDUCE_RAM is not covered by CBMC #571

Triggered via push December 30, 2025 07:00
Status Success
Total duration 11m 44s
Artifacts

bench.yml

on: push
Matrix: bench
Matrix: ec2_all
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
AMD EPYC 3rd gen (c6a) / Bench (nix)
Performance alert! Previous value was 115684 and current value is 119662. It is 1.034386777773936x worse than previous exceeding a ratio threshold 1.03
AMD EPYC 3rd gen (c6a) / Bench (nix)
Performance alert! Previous value was 294818 and current value is 305348. It is 1.0357169507967627x worse than previous exceeding a ratio threshold 1.03
AMD EPYC 3rd gen (c6a) / Bench (nix)
Performance alert! Previous value was 119699 and current value is 123687. It is 1.0333169032322742x worse than previous exceeding a ratio threshold 1.03
Arm Cortex-A55 (Snapdragon 888) benchmarks
Retrying to generate a commit and push to remote gh-pages with retry count 10...
Arm Cortex-A55 (Snapdragon 888) benchmarks
Auto-push failed because the remote gh-pages was updated after git pull
Arm Cortex-A72 (Raspberry Pi 4) benchmarks
Performance alert! Previous value was 216613 and current value is 226207. It is 1.0442909705327013x worse than previous exceeding a ratio threshold 1.03