Skip to content

CI workflow is under workflows/ instead of .github/workflows/, so it never runs #8

Open
#9
Open
CI workflow is under workflows/ instead of .github/workflows/, so it never runs#8
#9

Description

@astefano
astefano
opened on Jun 4, 2026

The CI workflow is committed at workflows/lean_action_ci.yml so GitHub Actions won't discover it.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions