max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: fail benchmarks if lakeprof upload fails (#12313)

Browse source
This commit is contained in:
Garmelon 2026-02-04 16:53:33 +01:00 • committed by GitHub
parent bd8c861316
commit e08cb957f5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
tests/bench-radar/build/lakeprof_report_upload.py
View file

@ -35,9 +35,9 @@ def main() -> None:
with open("index.html", "w") as f:
f.write(template)
run("curl", "-T", "index.html", f"{base_url}/index.html")
run("curl", "-T", "src/lakeprof.log", f"{base_url}/lakeprof.log")
run("curl", "-T", "src/lakeprof.trace_event", f"{base_url}/lakeprof.trace_event")
run("curl", "-fT", "index.html", f"{base_url}/index.html")
run("curl", "-fT", "src/lakeprof.log", f"{base_url}/lakeprof.log")
run("curl", "-fT", "src/lakeprof.trace_event", f"{base_url}/lakeprof.trace_event")
if __name__ == "__main__":