Skip to content

562 implement improved reasoning strategy configuration#603

Merged
bnouwt merged 12 commits intomasterfrom
562-implement-improved-reasoning-strategy-configuration
Feb 14, 2025
Merged

562 implement improved reasoning strategy configuration#603
bnouwt merged 12 commits intomasterfrom
562-implement-improved-reasoning-strategy-configuration

Conversation

@bnouwt
Copy link
Copy Markdown
Collaborator

@bnouwt bnouwt commented Feb 7, 2025

No description provided.

@bnouwt bnouwt linked an issue Feb 7, 2025 that may be closed by this pull request
@bnouwt bnouwt requested a review from Sophietje February 7, 2025 13:36
@bnouwt
Copy link
Copy Markdown
Collaborator Author

bnouwt commented Feb 10, 2025

I notice that the Maven and Docker actions take way (like 5 minutes) longer than the master, so I have to figure out why that is the case.

@bnouwt bnouwt merged commit 1650d01 into master Feb 14, 2025
@bnouwt bnouwt deleted the 562-implement-improved-reasoning-strategy-configuration branch February 14, 2025 09: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.

Implement improved reasoning strategy configuration.

2 participants