Skip to content

Conversation

@mjossdev
Copy link
Member

  • feat(doc): include dokka plugin
  • feat(ci): upload documentation to GitHub Pages

@mjossdev mjossdev self-assigned this Jun 15, 2023
@mjossdev mjossdev force-pushed the api-documentation branch 3 times, most recently from fac1f39 to 99c17c3 Compare June 15, 2023 15:40
@mjossdev mjossdev force-pushed the api-documentation branch from 99c17c3 to f05b8f5 Compare June 15, 2023 15:41
@mjossdev mjossdev force-pushed the api-documentation branch from f05b8f5 to 1277d7d Compare June 15, 2023 15:42
@mjossdev mjossdev force-pushed the api-documentation branch from 1277d7d to 6d0de15 Compare June 15, 2023 15:43
@mjossdev mjossdev temporarily deployed to github-pages June 15, 2023 15:44 — with GitHub Actions Inactive
@mjossdev mjossdev force-pushed the api-documentation branch from 6d0de15 to dfc4dcb Compare June 15, 2023 15:48
@mjossdev mjossdev requested a review from PascalHonegger June 15, 2023 15:49
@mjossdev mjossdev enabled auto-merge June 15, 2023 15:49
@mjossdev mjossdev disabled auto-merge June 15, 2023 15:49
@mjossdev mjossdev force-pushed the api-documentation branch from dfc4dcb to 7ef7640 Compare June 15, 2023 15:56
@mjossdev mjossdev force-pushed the api-documentation branch from 7ef7640 to 39398a5 Compare June 15, 2023 16:05
@mjossdev mjossdev enabled auto-merge June 15, 2023 16:07
@mjossdev mjossdev merged commit ec49d95 into main Jun 15, 2023
@mjossdev mjossdev deleted the api-documentation branch June 15, 2023 16:19
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.

3 participants