diff --git a/dev/bench/data.js b/dev/bench/data.js index 1e105fa6dda..1d8b81c63a9 100644 --- a/dev/bench/data.js +++ b/dev/bench/data.js @@ -1,5 +1,5 @@ window.BENCHMARK_DATA = { - "lastUpdate": 1731516058373, + "lastUpdate": 1731516066503, "repoUrl": "https://github.com/ocaml/dune", "entries": { "Melange Benchmark": [ @@ -204973,6 +204973,35 @@ window.BENCHMARK_DATA = { "unit": "seconds" } ] + }, + { + "commit": { + "author": { + "email": "marek@tarides.com", + "name": "Marek Kubica", + "username": "Leonidas-from-XIV" + }, + "committer": { + "email": "noreply@github.com", + "name": "GitHub", + "username": "web-flow" + }, + "distinct": true, + "id": "6556aee2527e098d46367353558aa7fd738af4f0", + "message": "test: Add repro case for #11113 (#11120)\n\nBuilding the FStar repo fails because the branch and tag are named the\r\nsame, as reported in #11113.\r\n\r\nThis simplifies the setup into a test-case.\r\n\r\nSigned-off-by: Marek Kubica ", + "timestamp": "2024-11-13T17:26:33+01:00", + "tree_id": "73d0741a51e7ec334b2e08486d4faf10afbd8421", + "url": "https://github.com/ocaml/dune/commit/6556aee2527e098d46367353558aa7fd738af4f0" + }, + "date": 1731516065710, + "tool": "customSmallerIsBetter", + "benches": [ + { + "name": "synthetic build time (warm, Linux)", + "value": "1.03728206694", + "unit": "seconds" + } + ] } ], "Synthetic Watch Benchmark": [