Skip to content

Commit d49c71f

Browse files
github-actions[bot]github-actions[bot]
committed
chore: update FormalPR-Bench badge [skip ci]
1 parent 761b89e commit d49c71f

2 files changed

Lines changed: 5 additions & 5 deletions

File tree

‎docs/benchmarks/latest-leaderboard-summary.json‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -49,10 +49,10 @@
4949
}
5050
},
5151
"timing_ms": {
52-
"p50": 0.16863300000125037,
53-
"p95": 23.68900900000881,
54-
"max": 38.682885000000056
52+
"p50": 0.17231599999689706,
53+
"p95": 24.436604000001694,
54+
"max": 42.01987900000148
5555
},
56-
"verified_source_sha": "f08b88480d58b8e62fffea206506bf0fb97379fa",
56+
"verified_source_sha": "761b89ee4f13d820e91138a58305b94f9337028e",
5757
"provenance_note": "Cite verified_source_sha (and its CI run) for health claims; do not treat a later [skip ci] badge commit as the verified source."
5858
}

‎docs/benchmarks/leaderboard-badge.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,5 +3,5 @@
33
"label": "FormalPR-Bench",
44
"message": "130/130 (100%)",
55
"color": "brightgreen",
6-
"verified_source_sha": "f08b88480d58b8e62fffea206506bf0fb97379fa"
6+
"verified_source_sha": "761b89ee4f13d820e91138a58305b94f9337028e"
77
}

0 commit comments

Comments
 (0)