Skip to content

@@port returns correct port#9680

Merged
timsehn merged 5 commits intomainfrom
tim/fix-hardcoded-port
Aug 13, 2025
Merged

@@port returns correct port#9680
timsehn merged 5 commits intomainfrom
tim/fix-hardcoded-port

Conversation

@timsehn
Copy link
Copy Markdown
Contributor

@timsehn timsehn commented Aug 13, 2025

Fixes: #5898

@coffeegoddd
Copy link
Copy Markdown
Contributor

@timsehn DOLT

comparing_percentages
100.000000 to 100.000000
version result total
c8bf045 ok 5937457
version total_tests
c8bf045 5937457
correctness_percentage
100.0

@coffeegoddd
Copy link
Copy Markdown
Contributor

@coffeegoddd DOLT

comparing_percentages
100.000000 to 100.000000
version result total
ce7bee9 ok 5937457
version total_tests
ce7bee9 5937457
correctness_percentage
100.0

@timsehn timsehn requested a review from fulghum August 13, 2025 20:04
@coffeegoddd
Copy link
Copy Markdown
Contributor

@timsehn DOLT

comparing_percentages
100.000000 to 100.000000
version result total
261d30c ok 5937457
version total_tests
261d30c 5937457
correctness_percentage
100.0

@coffeegoddd
Copy link
Copy Markdown
Contributor

@coffeegoddd DOLT

comparing_percentages
100.000000 to 100.000000
version result total
02be550 ok 5937457
version total_tests
02be550 5937457
correctness_percentage
100.0

@timsehn timsehn merged commit 29131b1 into main Aug 13, 2025
22 of 23 checks passed
@Hydrocharged Hydrocharged deleted the tim/fix-hardcoded-port branch December 15, 2025 06:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

@@port is hard-coded to 3306

3 participants