You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Merged input: #2665 by diogodanielsoaresferreira (feat: Create profile set custom seed). No matching merged pull request was found in timefold-solver-enterprise or timefold-quickstarts.
Finding 1 — Added public run option
Code change:TimefoldAI/timefold-solver, service/definition/src/main/java/ai/timefold/solver/service/definition/api/domain/RunConfiguration.java (merged change), added the public RunConfiguration.options field of type Map<String, String>.
Docs location:docs/src/modules/ROOT/pages/running-timefold-solver/service/rest-api.adoc:147-153 and docs/src/modules/ROOT/pages/running-timefold-solver/service/consumer-guide.adoc:127-140 previously described the run configuration without options and omitted it from request examples.
Confidence: high.
What I changed: Added options to both JSON request examples, updated the REST API field count from four to five, and documented that the map carries optional key-value parameters used by execution profiles in both service pages.
The group is already merged, so this pull request fixes the documentation on main. It should be updated if more pull requests on create_profile_set_custom_seed merge.
Note
This was originally intended as a pull request, but the git push operation failed.
Original error: Remote branch "docs-drift/create_profile_set_custom_seed" already exists and preserve-branch-name is enabled. Set recreate-ref: true to force-delete and recreate the remote ref, or disable preserve-branch-name to allow renaming the branch.
Warning
Threat Detection Engine Failure — The analysis engine could not complete. This is a tooling failure, not a security finding.
What happened
The threat detection engine failed to produce results.
Review the workflow run logs for details.
Merged input: #2665 by diogodanielsoaresferreira (
feat: Create profile set custom seed). No matching merged pull request was found in timefold-solver-enterprise or timefold-quickstarts.Finding 1 — Added public run option
TimefoldAI/timefold-solver,service/definition/src/main/java/ai/timefold/solver/service/definition/api/domain/RunConfiguration.java(merged change), added the publicRunConfiguration.optionsfield of typeMap<String, String>.docs/src/modules/ROOT/pages/running-timefold-solver/service/rest-api.adoc:147-153anddocs/src/modules/ROOT/pages/running-timefold-solver/service/consumer-guide.adoc:127-140previously described the run configuration withoutoptionsand omitted it from request examples.optionsto both JSON request examples, updated the REST API field count from four to five, and documented that the map carries optional key-value parameters used by execution profiles in both service pages.The group is already merged, so this pull request fixes the documentation on
main. It should be updated if more pull requests oncreate_profile_set_custom_seedmerge.Note
This was originally intended as a pull request, but the git push operation failed.
Original error: Remote branch "docs-drift/create_profile_set_custom_seed" already exists and preserve-branch-name is enabled. Set recreate-ref: true to force-delete and recreate the remote ref, or disable preserve-branch-name to allow renaming the branch.
Workflow Run: View run details and download bundle artifact
The bundle file is available in the
agentartifact in the workflow run linked above.Create the pull request manually