Skip to content

ci: Install solvers with what4-solvers action #527

New issue
New issue
Open
Open
ci: Install solvers with what4-solvers action#527
Labels
area/infra/ciArea: Continuous integration, GitHub Actions

Metadata

Metadata

Assignees

No one assigned

    Labels

    area/infra/ciArea: Continuous integration, GitHub Actions

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions