You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When should this be updated (if ever)? e.g. just before final publication so that the latest code is used for the final render?
What are the instructions for making the update? -- including:
git submodule commands + committing the submodule change in the doc repo
copying "tooling/.github/workflows/main.yml" to ".github/workflows/main.yml" [actually it would be good to explain this duplication in the html-pub documentation regardless]
Related to #159