Skip to content

Fix error message - #318

Merged
simo5 merged 1 commit into
latchset:mainfrom
Cito:patch-1
Mar 15, 2023
Merged

Fix error message#318
simo5 merged 1 commit into
latchset:mainfrom
Cito:patch-1

Conversation

@Cito

@Cito Cito commented Mar 15, 2023

Copy link
Copy Markdown
Contributor

The "claim is not a StringOrURI type" error message was not properly interpolated.

@simo5 simo5 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice catch, thanks.

@simo5

simo5 commented Mar 15, 2023

Copy link
Copy Markdown
Member

None of the CI failures are related to this issue.
They are all related to changes in infrastructure.

@simo5
simo5 merged commit 652afd9 into latchset:main Mar 15, 2023
@Cito
Cito deleted the patch-1 branch March 15, 2023 14:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants