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
Detailed source file information is not available for this build.
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 |