Skip to content

Kani helm chart #87

New issue
New issue
Open
Open
Kani helm chart#87
Labels
contributor: wantedWe're looking for someone to work on thistype: enhancementThis is a feature request or a pull request that adds a feature
@joshuasing

Description

@joshuasing
joshuasing
opened on Jun 24, 2024

Welcome!

  • I have checked for similar issues on GitHub.

Problem

There are currently no Helm charts that can be used to deploy Kani in a Kubernetes cluster.

Suggested solution

I think it could be useful if we provided an "official" Kani helm chart which could be used to easily deploy Kani.

Additional information

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    contributor: wantedWe're looking for someone to work on thistype: enhancementThis is a feature request or a pull request that adds a feature

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions