Skip to content

Better checks for compatibility with Blueprint #3085

New issue
New issue
Open
Task
Open
Better checks for compatibility with Blueprint#3085
Task
Labels
misc: ecosystemBlueprint, Misti, Verifier, Web IDE, VSCode pluginscope: ciContinuous Integration: GitHub Actions (.github), commit/push hooks (.husky)
Milestone
Infra: 2025-06
@anton-trunov

Description

@anton-trunov
anton-trunov
opened on May 16, 2025

So issues like #3084 won't happen again.

Metadata

Metadata

Assignees

No one assigned

    Labels

    misc: ecosystemBlueprint, Misti, Verifier, Web IDE, VSCode pluginscope: ciContinuous Integration: GitHub Actions (.github), commit/push hooks (.husky)

    Type

    Task

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions