Skip to content

Comments

fix: notation plugin install error messages and tests#855

Merged
priteshbandi merged 16 commits intomainfrom
unknown repository
Jan 4, 2024
Merged

fix: notation plugin install error messages and tests#855
priteshbandi merged 16 commits intomainfrom
unknown repository

Commits

Commits on Dec 26, 2023

Commits on Dec 27, 2023

  • update

    author
    Patrick Zheng
    committed
    5e8387f

Commits on Dec 28, 2023

Commits on Jan 2, 2024

  • update

    author
    Patrick Zheng
    committed
    5d9c18e

  • fix e2e tests

    author
    Patrick Zheng
    committed
    f829079

Commits on Jan 3, 2024

Commits on Jan 4, 2024