• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Verites / verigraph
61%
master: 61%

Build:
Build:
LAST BUILD BRANCH: sndOrderFix
DEFAULT BRANCH: master
Repo Added 24 Apr 2017 02:04PM UTC
Files 77
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH refactoring
branch: refactoring
CHANGE BRANCH
x
Reset
  • refactoring
  • 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
  • refactoringDoc
  • refactoringEssentialCP
  • refactoringTests
  • removingWarning
  • rest
  • restructure
  • sesquiPushout
  • sndOrdScheduling
  • sndOrderFix
  • sndorderNAC
  • symbgraph
  • tests
  • travis
  • travis-setup
  • travis_performance
  • triggered-dependecies
  • update-grammars
  • update-lts

pending completion
528

push

travis-ci

ggazzi
Improve documentation

2320 of 3821 relevant lines covered (60.72%)

0.61 hits per line

Relevant lines Covered
Build:
Build:
3821 RELEVANT LINES 2320 COVERED LINES
0.61 HITS PER LINE
Source Files on refactoring
  • List 0
  • Changed 9
  • Source Changed 9
  • Coverage Changed 9
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
528 refactoring Improve documentation push 10 Jan 2018 04:19PM UTC ggazzi travis-ci pending completion  
510 refactoring Improve pretty-printing in general push 25 Oct 2017 09:56PM UTC ggazzi travis-ci pending completion  
509 refactoring Migrate the prettyprinter Change the pretty-printer library from the older wl-pprint to the modern prettyprinter. push 25 Oct 2017 08:15PM UTC ggazzi travis-ci pending completion  
508 refactoring Improve Show instance for graph morphisms push 25 Oct 2017 07:53PM UTC ggazzi travis-ci pending completion  
505 refactoring Migrate the prettyprinter Change the pretty-printer library from the older wl-pprint to the modern prettyprinter. push 17 Oct 2017 02:36PM UTC ggazzi travis-ci pending completion  
504 refactoring Migrate the prettyprinter Change the pretty-printer library from the older wl-pprint to the modern prettyprinter. push 11 Oct 2017 08:11PM UTC ggazzi travis-ci pending completion  
502 refactoring Restructure TypedGraph API push 11 Oct 2017 04:43PM UTC ggazzi travis-ci pending completion  
501 refactoring Improvement to TypedGraph API Add: * `Data.Graphs.Morphism.fromGraphsAndLists` * `Data.TypedGraph.fromNodesAndEdges` * `Data.TypedGraph.Morphism.fromGraphsAndLists` Rename: * `Data.TypedGraph.Morphism.idMap` to `makeInclusion` push 11 Oct 2017 04:30PM UTC ggazzi travis-ci pending completion  
500 refactoring Restructure TypedGraph API push 11 Oct 2017 04:03PM UTC ggazzi travis-ci pending completion  
499 refactoring Restructure TypedGraph API push 11 Oct 2017 02:39PM UTC ggazzi travis-ci pending completion  
See All Builds (446)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc