Skip to content

Add man_made tagged elements#495

Merged
louis-e merged 3 commits into
mainfrom
man_made
Jul 23, 2025
Merged

Add man_made tagged elements#495
louis-e merged 3 commits into
mainfrom
man_made

Conversation

@louis-e

@louis-e louis-e commented Jul 23, 2025

Copy link
Copy Markdown
Owner

No description provided.

@github-actions

github-actions Bot commented Jul 23, 2025

Copy link
Copy Markdown

⏱️ Benchmark run finished in 0m 49s
🧠 Peak memory usage: 1863 MB

📈 Compared against baseline: 42s
🧮 Delta: 7s
🔢 Commit: d2fb65c

⚠️ This PR worsens generation time.

You can retrigger the benchmark by commenting retrigger-benchmark.

@louis-e

louis-e commented Jul 23, 2025

Copy link
Copy Markdown
Owner Author

retrigger-benchmark

@louis-e

louis-e commented Jul 23, 2025

Copy link
Copy Markdown
Owner Author

Benchmark time increased recently due to new added elements. I will investigate and adapt the reference time soon

@louis-e louis-e merged commit 3217eea into main Jul 23, 2025
4 checks passed
@louis-e louis-e deleted the man_made branch August 21, 2025 21:05
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