Skip to content
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.

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

feat: allow specification of Scilla server port in start_up script #2483

Merged
merged 1 commit into from
Mar 11, 2025

Conversation

86667
Copy link
Contributor

@86667 86667 commented Mar 10, 2025

No description provided.

Copy link
Contributor

github-actions bot commented Mar 10, 2025

🐰 Bencher Report

Branchscilla_port_configurable
Testbedself-hosted
Click to view all benchmark results
BenchmarkLatencyBenchmark Result
milliseconds (ms)
(Result Δ%)
Upper Boundary
milliseconds (ms)
(Limit %)
full-blocks-erc20-transfers/full-blocks-erc20-transfers📈 view plot
🚷 view threshold
1,265.90 ms
(+17.59%)Baseline: 1,076.57 ms
1,394.65 ms
(90.77%)
full-blocks-evm-transfers/full-blocks-evm-transfers📈 view plot
🚷 view threshold
437.63 ms
(+8.48%)Baseline: 403.41 ms
488.72 ms
(89.55%)
full-blocks-zil-transfers/full-blocks-zil-transfers📈 view plot
🚷 view threshold
4,113.50 ms
(+2.92%)Baseline: 3,996.88 ms
5,539.89 ms
(74.25%)
process-empty/process-empty📈 view plot
🚷 view threshold
10.27 ms
(+3.04%)Baseline: 9.96 ms
10.70 ms
(95.91%)
🐰 View full continuous benchmarking report in Bencher

@86667 86667 force-pushed the scilla_port_configurable branch 2 times, most recently from 420c496 to aec3e48 Compare March 10, 2025 19:20
@86667 86667 force-pushed the scilla_port_configurable branch 2 times, most recently from 2fa2faf to c590ab1 Compare March 11, 2025 11:33
@86667 86667 force-pushed the scilla_port_configurable branch from c590ab1 to e6cc2bf Compare March 11, 2025 11:40
@86667 86667 force-pushed the scilla_port_configurable branch from 32bacb5 to 23d686a Compare March 11, 2025 15:26
@86667 86667 added this pull request to the merge queue Mar 11, 2025
Merged via the queue into main with commit 2d75a80 Mar 11, 2025
5 of 6 checks passed
@86667 86667 deleted the scilla_port_configurable branch March 11, 2025 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants