This commit is contained in:
Mihai Maruseac 2017-08-08 13:19:50 -07:00
parent e313f7a11f
commit d24f979fb9

View File

@ -3636,6 +3636,9 @@ skipped-tests:
# https://github.com/google/proto-lens/issues/119
- proto-lens-combinators
# https://github.com/brunjlar/pell/issues/1
- pell
# end of skipped-tests
# Tests which we should build and run, but which are expected to fail. We