Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adding echidna workflow #79

Merged
merged 1 commit into from
May 1, 2023
Merged

Adding echidna workflow #79

merged 1 commit into from
May 1, 2023

Conversation

iherman
Copy link
Member

@iherman iherman commented Apr 27, 2023

Title tells it all

@iherman iherman requested a review from OR13 April 27, 2023 09:36
W3C_WG_DECISION_URL: https://www.w3.org/2017/vc/WG/Meetings/Minutes/2023-04-12-vcwg#resolution1
W3C_BUILD_OVERRIDE: |
shortName: vc-jwt
specStatus: WD
Copy link
Contributor

Choose a reason for hiding this comment

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

do i need to update the index.html to this as well?

Copy link
Member Author

Choose a reason for hiding this comment

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

You mean setting the specStatus to WD? No. Echidna, more exactly the respec engine does that for you (it is possible to start up the respec transform engine with query parameters in the URL to overwrite virtually any respec configuration value).

@OR13
Copy link
Contributor

OR13 commented Apr 28, 2023

I am happy to merge this as is, and then correct the errors that are causing CI to fail.

@OR13 OR13 merged commit 435d92f into main May 1, 2023
Copy link
Collaborator

@selfissued selfissued left a comment

Choose a reason for hiding this comment

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

I think we should proceed with this.

@OR13
Copy link
Contributor

OR13 commented May 1, 2023

@iherman thank you!

it is working now:

https://www.w3.org/TR/vc-jwt/
Screen Shot 2023-05-01 at 3 50 48 PM

@OR13 OR13 deleted the Adding-echidna-action branch June 7, 2023 17:46
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.

4 participants