Skip to content

docs: [docs-drift] create_profile_set_custom_seed #2711

Description

@timefold-automations

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

  • 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.

Workflow Run: View run details and download bundle artifact

The bundle file is available in the agent artifact in the workflow run linked above.

Create the pull request manually
# Download the artifact from the workflow run
gh run download '36855821369' -n agent -D '/tmp/agent-36855821369'

# Resolve the bundle source ref, fetch it into a temporary ref, then create the local branch
bundle_path='/tmp/agent-36855821369/aw-timefoldai-timefold-solver-docs-drift-create_profile_set_custom_seed.bundle'
temp_ref='refs/bundles/create-pr-docs-drift-create-profile-set-custom-seed-c16f243a'
target_ref='refs/heads/docs-drift/create_profile_set_custom_seed'
bundle_source_ref=$(git bundle list-heads "$bundle_path" | awk '$2 ~ /^refs\/heads\// { print $2 }')
if [ -z "$bundle_source_ref" ]; then
  bundle_source_ref=$(git bundle list-heads "$bundle_path" | awk '$2 == "HEAD" { print $2 }')
fi
if [ "$(printf '%s\n' "$bundle_source_ref" | sed '/^$/d' | wc -l | tr -d ' ')" != "1" ]; then
  echo "Expected exactly one bundle source ref, found: $bundle_source_ref" >&2
  exit 1
fi
git fetch "$bundle_path" "${bundle_source_ref}:${temp_ref}"
git update-ref "$target_ref" "$temp_ref"
git checkout 'docs-drift/create_profile_set_custom_seed'
# Ensure the working tree matches the updated branch
git reset --hard
# Remove the temporary bundle ref
git update-ref -d "$temp_ref"

# Push the branch to the target remote
git push 'origin' 'docs-drift/create_profile_set_custom_seed'

# Create the pull request
gh pr create --title 'docs: [docs-drift] create_profile_set_custom_seed' --base 'main' --head 'docs-drift/create_profile_set_custom_seed' --repo 'timefoldai/timefold-solver'

Generated by Solver Docs Drift Detector · copilot · gpt56 · 15.9 AIC · ⊞ 27.2K · ◷

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions