Skip to content

use updated make for zlip#288

Closed
SimonDold wants to merge 9 commits into
aibasel:mainfrom
SimonDold:diagnostic-workflow
Closed

use updated make for zlip#288
SimonDold wants to merge 9 commits into
aibasel:mainfrom
SimonDold:diagnostic-workflow

Conversation

@SimonDold

Copy link
Copy Markdown
Contributor

This is a Placeholder
Replace the content of this field with a meaningful description of the changes made within this pull request. It will be suggested as the commit message when merging the pull request.

For the pull request title, summarize the changes in imperative mood and prepend "[issueX]" where X is the issue number in our issue tracker (issues.fast-downward.org). The title will be suggested as the commit subject.

The commit message (i.e., this field) should highlight how the changes affect planner behavior:

  • Do they add functionality?
  • Does the command line syntax change?
  • Is planner performance affected according to the experiment?

Find our guidelines for commit messages in the Fast Downward Wiki (https://www.fast-downward.org/latest/for-developers/git/#git_conventions).

@SimonDold SimonDold closed this Apr 9, 2026
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