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 doing a release github pages are updated. But there is a bug inside build (probably docToPages gradle task - images are copied, but not html files)
For #380 we will add this manually, but process must be fixed.
The text was updated successfully, but these errors were encountered:
When doing a release github pages are updated. But there is a bug inside build (probably
docToPages
gradle task - images are copied, but not html files)For #380 we will add this manually, but process must be fixed.
The text was updated successfully, but these errors were encountered: