Skip to content

Allow ex_doc to process grisp dep#42

Merged
ziopio merged 3 commits into
mainfrom
ziopio/ex_doc
Sep 25, 2024
Merged

Allow ex_doc to process grisp dep#42
ziopio merged 3 commits into
mainfrom
ziopio/ex_doc

Conversation

@ziopio
Copy link
Copy Markdown
Member

@ziopio ziopio commented Sep 24, 2024

This is an hack because we do not support ExDoc in grisp

This is an hack because we do not support ExDoc in grisp
@ziopio ziopio requested a review from maehjam September 24, 2024 13:25
@ziopio
Copy link
Copy Markdown
Member Author

ziopio commented Sep 24, 2024

The markdown in the readme is not well presented in the overview dropdown menu, I will see if I can make it prettier.
Screenshot 2024-09-24 at 15 27 18

@ziopio
Copy link
Copy Markdown
Member Author

ziopio commented Sep 24, 2024

Screenshot 2024-09-24 at 15 37 12

@ziopio ziopio force-pushed the ziopio/ex_doc branch 2 times, most recently from d79769d to ed5551e Compare September 24, 2024 13:47
@ziopio
Copy link
Copy Markdown
Member Author

ziopio commented Sep 25, 2024

@maehjam The CI run is misleading, rebar3 ex_doc is giving error only in CI. But locally I am able to build the ex_doc documentation.

@ziopio
Copy link
Copy Markdown
Member Author

ziopio commented Sep 25, 2024

Opened issue on the CI problem #44
Exdoc seams to build fine locally, I'm going to merge

@ziopio ziopio merged commit 1c44a53 into main Sep 25, 2024
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