-
Notifications
You must be signed in to change notification settings - Fork 33
Token creation
Denis Ah-Kang edited this page Sep 4, 2023
·
8 revisions
The automated publication workflow requires a token associated with the specification you want to publish. Send an email to your team contact or your chair if you need a token.
Team contacts and chairs can use a form to request a token.
NOTE: the token is meant to be private, and only shared among the Working Group participants.
This token can be used only if you are planning to use it with GitHub Actions. You will need to pass it along to the Echidna HTTP endpoint in the CI configuration, as explained here.