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

Verites / verigraph
62%
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 restructure
branch: restructure
CHANGE BRANCH
x
Reset
  • restructure
  • 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
  • sesquiPushout
  • sndOrdScheduling
  • sndOrderFix
  • sndorderNAC
  • symbgraph
  • tests
  • travis
  • travis-setup
  • travis_performance
  • triggered-dependecies
  • update-grammars
  • update-lts

pending completion
496

push

travis-ci

ggazzi
Merge branch 'restructure'

2330 of 3768 relevant lines covered (61.84%)

0.62 hits per line

Relevant lines Covered
Build:
Build:
3768 RELEVANT LINES 2330 COVERED LINES
0.62 HITS PER LINE
Source Files on restructure
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
496 restructure Merge branch 'restructure' push 19 Sep 2017 02:19PM UTC ggazzi travis-ci pending completion  
494 restructure Refactor critical pairs/sequences Move logic of aggregating all pairs/sequences for a grammar out of the Analysis modules and into the CLI. This belongs in the CLI because it involves strategies for calculating things in parallel, which is not t... push 18 Sep 2017 05:20PM UTC ggazzi travis-ci pending completion  
492 restructure Document what orphan means push 12 Sep 2017 06:27PM UTC ggazzi travis-ci pending completion  
490 restructure Apply hlint suggestions push 12 Sep 2017 01:14PM UTC ggazzi travis-ci pending completion  
489 restructure Run stylish-haskell push 12 Sep 2017 01:00PM UTC ggazzi travis-ci pending completion  
488 restructure Merge branch 'restructure' push 12 Sep 2017 12:33PM UTC ggazzi travis-ci pending completion  
486 restructure Add .vscode to gitignore push 11 Sep 2017 07:08PM UTC ggazzi travis-ci pending completion  
485 restructure Add .vscode to gitignore push 11 Sep 2017 06:57PM 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