Skip to content

Conversation

CodiePP
Copy link
Contributor

@CodiePP CodiePP commented Jun 6, 2019

description

  • now that we use coveralls we do not need this anymore

checklist

  • compiles (cabal new-clean; cabal new-build)
  • tests run successfully (cabal new-test)
  • documentation added and created (cd docs; nix-shell --run make)
  • link to an issue
  • link to an epic
  • add estimate points
  • add milestone (the same as the linked issue)

@CodiePP CodiePP merged commit 9129241 into develop Jun 6, 2019
@iohk-bors iohk-bors bot deleted the remove-prochpc branch June 6, 2019 15:54
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.

2 participants