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
{{ message }}
This repository was archived by the owner on Jan 12, 2024. It is now read-only.
However, if pages are added or removed, the stubs don't seem to be updated automatically. It's not clear to me what the process is for updating them and it doesn't seem to be described in this repo. I think it would be better to:
Document clearly how this other repo is supposed to be updated so that people making changes to the Q# docs here will know what to do.
Update the CI to prevent merging PRs that add or remove pages without updating the corresponding stubs/UID map (like Document lambda expressions #136).