search

decorators-squad / eva

A simple Java OOP evolutionary algorithm framework.
BSD 3-Clause "New" or "Revised" License
19 stars 2 forks source link

Implement buildtime static analysis #33

Open amihaiemil opened 7 years ago

amihaiemil commented 7 years ago

We should use checkstyle and/or pmd to guarantee a level of code quality

amihaiemil commented 7 years ago

@charlesmike hello

charlesmike commented 7 years ago

@charlesmike hello

Hi @amihaiemil! I can help you index your Github-hosted website, provided that the repository name respects the format owner.github.io (or has a gh-pages branch) and the command is given by the repo's owner.

More on commands here. Also, this blog post might be useful.

amihaiemil commented 7 years ago

@charlesmike delete pls

charlesmike commented 7 years ago

@charlesmike delete pls

@amihaiemil the repository's name in a delete command has to be between single back apostrophes. and it has to match the actual reponame exactly (case sensitive)

A valid delete command here is @charlesmike delete `eva` index.

amihaiemil commented 7 years ago

@charlesmike delete eva index

charlesmike commented 7 years ago

@charlesmike delete eva index

@amihaiemil there is no index for this repo, so your command cannot be fulfilled. Either the index was removed already following a delete command, or it has never existed.

Check the logs for more details.

amihaiemil commented 7 years ago

@charlesmike index the site please

charlesmike commented 7 years ago

@charlesmike index the site please

@amihaiemil thank you for the command, the indexing process started just now. I will let you know of the outcome shortly. In the meantime, you can check the logs here.

charlesmike commented 7 years ago

@charlesmike index the site please

@amihaiemil Index command executed successfully! Add the widget script to the website in order to make the search functionality available.

See logs for more details. If you notice any inexplicable errors, please open an issue here

amihaiemil commented 7 years ago

@charlesmike delete eva index

charlesmike commented 7 years ago

@charlesmike delete eva index

@amihaiemil the eva index was successfully deleted. Don't forget to remove the script form your website since the search will not work anymore. See logs for details.

If you can spare a minute, please consider opening an issue here,let us know why you stopped using this service, what you didn't like and what we could improve. Thanks!

amihaiemil commented 7 years ago

@charlesmike index this sitemap pls

charlesmike commented 7 years ago

@charlesmike index this sitemap pls

@amihaiemil thank you for the command, the indexing process started just now. I will let you know of the outcome shortly. In the meantime, you can check the logs here.

charlesmike commented 7 years ago

@charlesmike index this sitemap pls

@amihaiemil Index command executed successfully! Add the widget script to the website in order to make the search functionality available.

See logs for more details. If you notice any inexplicable errors, please open an issue here