Verites
/
verigraph
65%
master: 61%
master: 61%
|
Repo Added
|
Files
77
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
ci
branch: ci
CHANGE BRANCH
x
-
ci
-
1.1.0
-
1.1.1
-
CPparallelization
-
CSrefactoring
-
RemovedDeprecatedFindMorphism
-
TGMAdhesiveHLRrefactoring
-
add-code-of-conduct-1
-
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-setup
-
travis_performance
-
triggered-dependecies
-
update-grammars
-
update-lts
CHANGE BRANCH
x
-
ci
- 1.1.0
- 1.1.1
- CPparallelization
- CSrefactoring
- RemovedDeprecatedFindMorphism
- TGMAdhesiveHLRrefactoring
- add-code-of-conduct-1
- 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-setup
- travis_performance
- triggered-dependecies
- update-grammars
- update-lts
push
travis-ci
2325 of 3567 relevant lines covered (65.18%)
0.65 hits per line
Relevant lines Covered
3567
RELEVANT LINES
2325
COVERED LINES
0.65
HITS PER LINE
Source Files on ci
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 439 | ci | running hlint and stylish | push |  jsbezerra |
travis-ci | pending completion | |
| 387 | ci | ignoring markdown on code climate due to markdown linter bug | push | jsbezerra |
travis-ci | pending completion | |
| 373 | ci | added TODOs about function pertinence | push |  jsbezerra |
travis-ci | pending completion | |
| 345 | ci | added TODOs about function pertinence | push | jsbezerra |
travis-ci | pending completion | |
| 343 | ci | minor refactoring | push | jsbezerra |
travis-ci | pending completion | |
| 341 | ci | running stylish | push | jsbezerra |
travis-ci | pending completion | |
| 340 | ci | Removing Analysis.EpimorphicPairs module | push | jsbezerra |
travis-ci | pending completion | |
| 338 | ci | Moving DiagramAlgorithms module from Analysis to Abstract.Rewriting.DPO | push | jsbezerra |
travis-ci | pending completion | |
| 336 | ci | TODO: experimental code shouldn't be in master | push | jsbezerra |
travis-ci | pending completion | |
| 302 | ci | Equalizer for typed graph morphism | push | jsbezerra |
travis-ci | pending completion |