Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Set up project to be able to perform dialyzer and docs mix tasks #11

Closed
pcmarks opened this issue Feb 14, 2020 · 1 comment
Closed

Set up project to be able to perform dialyzer and docs mix tasks #11

pcmarks opened this issue Feb 14, 2020 · 1 comment
Assignees
Labels
good first issue Good for newcomers

Comments

@pcmarks
Copy link
Collaborator

pcmarks commented Feb 14, 2020

It is desirable to be able to run both the dialyzer and docs mix tasks after every change to automata. They should be run before a PR for a change is requested.

To effect this, dialyxer and ex-doc needs to be added as dependencies to mix.ex

See issues #6, #7 and #9

This should probably be done earlier than later in the project's life. It is my understanding that in a couple of weeks (end of Feb?) there might be some significant changes to automata although this should not affect changing automatas dependencies.

Please read the online help for Elixir's dialyzer and docs. tasks.

@upstarter
Copy link
Owner

Thanks @pcmarks, I went ahead and added them. I will add a ticket to make them part of PR's also.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

2 participants