Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Can we distinguish apply? from apply #299

Open
TentativeConvert opened this issue Feb 25, 2025 · 1 comment
Open

Can we distinguish apply? from apply #299

TentativeConvert opened this issue Feb 25, 2025 · 1 comment
Labels
enhancement New feature or request priority-medium should be addressed within the next months

Comments

@TentativeConvert
Copy link
Collaborator

As reported here, the tactic apply? can unintentionally solve levels of Robo that are supposed to be solved by applying apply manually. I’ve tried disabling apply? manually, e.g. with:

NewHiddenTactic «apply?»
DisabledTactic tauto «apply?»

But that does not appear to have any effect.
@joneugster
Copy link
Collaborator

I believe currently we trim any ? or ! from the tactic name, I think the reason behind this was to allow simp?. We should probably change that 👍

@joneugster joneugster added enhancement New feature or request priority-medium should be addressed within the next months labels Feb 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request priority-medium should be addressed within the next months
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@joneugster @TentativeConvert