Skip to content

lens-example pong flag is automatic #1082

Description

@phadej
flag pong
  default: True
  -- manual: False is the default

which means that solver is free to toggle that, which may cause inconsistent behavior on CI.
If it's intentional, being explicit with manual: False and a comment would be better than relying on the implicit default.

Activity

  1. RyanGlScott commented on Dec 3, 2024

    @RyanGlScott
    Collaborator

    That makes sense, and I'd welcome changing this to manual: False. Would you like to submit a PR?

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions