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
https://dotty.epfl.ch (nightly documentation, generated by a GitHub action here I guess?)
Correct me if I am wrong, and please document those things here (in CONTRIBUTING.md?), and explain the policies regarding what goes into what branch (if I want to fix something in the documentation, should I target main or language-reference-stable?).
Last, make sure the release procedure takes all those forms of documentation into account (currently, it seems only the API documentation is updated during the release process, but you should also merge the content of the main branch to language-reference-stable before the release)
To add to the original issue, I would like to mention that a GitHub action failed after we merged a contribution (#16202) to language-reference-stable, and we don’t understand the purpose of this action. I believe better documentation would help us deal with such kind of issues in the future.
The text was updated successfully, but these errors were encountered:
Uh oh!
There was an error while loading. Please reload this page.
I think there is a general lack of clarity about how the various docs are generated.
As far as I understand, we have:
language-reference-stable
)Correct me if I am wrong, and please document those things here (in
CONTRIBUTING.md
?), and explain the policies regarding what goes into what branch (if I want to fix something in the documentation, should I targetmain
orlanguage-reference-stable
?).Last, make sure the release procedure takes all those forms of documentation into account (currently, it seems only the API documentation is updated during the release process, but you should also merge the content of the main branch to
language-reference-stable
before the release)Originally posted by @julienrf in #16201 (comment)
To add to the original issue, I would like to mention that a GitHub action failed after we merged a contribution (#16202) to
language-reference-stable
, and we don’t understand the purpose of this action. I believe better documentation would help us deal with such kind of issues in the future.The text was updated successfully, but these errors were encountered: