Verites / verigraph

63%

master: 61%

LAST BUILD ON BRANCH travis-setup

branch: travis-setup

CHANGE BRANCH

x

Reset

• travis-setup
• 1.1.0
• 1.1.1
• CPparallelization
• CSrefactoring
• RemovedDeprecatedFindMorphism
• TGMAdhesiveHLRrefactoring
• add-code-of-conduct-1
• ci
• code-quality-fix
• complete
• conditions
• conflict-essence
• constraints
• contributing
• coveralls
• critical-pairs-benchmarks
• culpa_do_leo
• elevatorFix
• essence-experiments
• finitaryCategory
• fix-cospan
• fix-spancommuter
• fix_removeNode
• grlang
• gtxl-reader
• hlint
• iso-class
• labeledGraph
• layersRefactoring
• markdown-lint
• master
• modulesRefactoring
• new-morphisms
• newIndependenceAlgorithm
• new_ghc
• parallel
• parserRefactoring
• partial-map-classifier
• partitionsRefactoring
• process
• process_bkp
• pullbackTests
• reduceDuplication
• refactoring
• refactoringDoc
• refactoringEssentialCP
• refactoringTests
• removingWarning
• rest
• restructure
• sesquiPushout
• sndOrdScheduling
• sndOrderFix
• sndorderNAC
• symbgraph
• tests
• travis
• travis_performance
• triggered-dependecies
• update-grammars
• update-lts

Build # 414

Build Type

push

travis-ci

Committed by lm-rodrigues

Commit Message

Adding other-modules of HSpecTests

Run Details

2109 of 3342 relevant lines covered (63.11%)

0.63 hits per line