Skip to content

chore: stop tracking generated ex_doc output - #16

Merged
Taure merged 1 commit into
mainfrom
chore/gitignore-ex-doc-output
May 28, 2026
Merged

chore: stop tracking generated ex_doc output#16
Taure merged 1 commit into
mainfrom
chore/gitignore-ex-doc-output

Conversation

@Taure

@Taure Taure commented May 28, 2026

Copy link
Copy Markdown
Owner

The doc/ HTML tree generated by rebar3 ex_doc was accidentally committed in #15. This removes it from tracking and adds doc/ to .gitignore so it can't recur.

The doc/ HTML tree generated by `rebar3 ex_doc` was accidentally
committed. Remove it from tracking and gitignore it.
@github-actions

Copy link
Copy Markdown

🔴 Code Coverage — 28.5%

79 of 277 lines covered.


✅ ELP Lint

No diagnostics.

@Taure
Taure merged commit b36965a into main May 28, 2026
16 checks passed
@Taure
Taure deleted the chore/gitignore-ex-doc-output branch May 28, 2026 05:26
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