| 344 | comparisons_col = column(list(comparisons.values())) |
| 345 | |
| 346 | def callback(): |
| 347 | name = "_".join(bench_choice.value) + ".html" |
| 348 | if comparisons.get(name) is None: |
| 349 | entries = [] |
| 350 | for bench in bench_choice.value: |
| 351 | if entry_map.get(bench) is not None: |
| 352 | entries.append(entry_map[bench]) |
| 353 | |
| 354 | page = render_hq_comparison(entries) |
| 355 | location = Path("comparisons").joinpath(name) |
| 356 | save(page, directory.joinpath(location), CDN, "Comparison") |
| 357 | |
| 358 | comparisons[name] = create_href(addr, location, name) |
| 359 | comparisons_col.update(children=list(comparisons.values())) |
| 360 | |
| 361 | bench_opts = df["key"].to_list() |
| 362 | bench_choice = MultiChoice(options=bench_opts) |