Skip to content

literate cleanup#107

Open
kdayday wants to merge 1 commit intomainfrom
kd/literate-clean
Open

literate cleanup#107
kdayday wants to merge 1 commit intomainfrom
kd/literate-clean

Conversation

@kdayday
Copy link
Copy Markdown
Collaborator

@kdayday kdayday commented May 5, 2026

@kdayday kdayday requested review from jd-lara May 5, 2026 20:41
@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 5, 2026

Performance Results

Version Precompile Time
Main 2.904272863
This Branch 2.85576552
Version Build Time
Main-Build Time Precompile 100.430031472
Main-Build Time Postcompile 14.032308224
This Branch-Build Time Precompile 98.878696614
This Branch-Build Time Postcompile 13.195554931
Version Solve Time
Main-Solve Time Precompile 410.947560403
Main-Solve Time Postcompile 377.234228701
This Branch-Solve Time Precompile 166.416571021
This Branch-Solve Time Postcompile 133.923981743

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.

1 participant