Skip to content

Conversation

@ForwardFeed
Copy link

You can check how it looks on https://forwardfeed.github.io/devtypes/

The theme can be changed, I just picked the default because I just needed to have docs in an HTML format.
This will require to enable Github pages in the settings, but no other effort beside this.
Also I have set the update manually, but a quick commenting / un-commenting will set the trigger of this workflow
automatically on master-push.

That was the first time I ever had to tinker with github actions.
So please squash it this PR

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant