Use TCO instead of AOT #48

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

georgwiese wants to merge 1 commit into main from use-tco

georgwiese commented Dec 22, 2025

Could speed up our nightly, according to Leo.


          Use TCO instead of AOT

5c259b8

georgwiese mentioned this pull request

Debug nightly 25 12 22 powdr-labs/powdr#3510

Merged

github-merge-queue bot pushed a commit to powdr-labs/powdr that referenced this pull request


          Debug nightly 25 12 22 (#3510)

230f271

We were passing the mode wrong to the reth run script, which caused
everything to be run in `execute` mode. Instead, it should be [passed
like
this](https://github.com/powdr-labs/openvm-reth-benchmark/blob/03626adca26dc08b0d1738639a5372c6733cc1eb/run.sh#L12).

A manual run with only the first reth test [was
successful](https://github.com/powdr-labs/powdr/actions/runs/20440228290/job/58731227400).
It took very long though (1h39min, compared to 1h25min for all reth runs
in the [last successful scheduled
nightly](https://github.com/powdr-labs/powdr/actions/runs/20289668988/job/58271079572).

~I'm running [all reth runs
now](https://github.com/powdr-labs/powdr/actions/runs/20442800595/job/58739536277)
(but still without the guest benchmarks), let's see if it completes in
time.~ (Cancelled, in favor of [running with the `tco` instead of `aot`
feature](https://github.com/powdr-labs/powdr/actions/runs/20443460412/job/58741598629),
see powdr-labs/openvm-reth-benchmark#48).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet