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

Verites / verigraph
60%
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 grlang
branch: grlang
CHANGE BRANCH
x
Reset
  • grlang
  • 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
  • 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

pending completion
574

push

travis-ci

ggazzi
Add lua function GrLang.unsafe_flush_mem

2840 of 4707 relevant lines covered (60.34%)

0.6 hits per line

Relevant lines Covered
Build:
Build:
4707 RELEVANT LINES 2840 COVERED LINES
0.6 HITS PER LINE
Source Files on grlang
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
574 grlang Add lua function GrLang.unsafe_flush_mem push 19 Jul 2018 01:54PM UTC ggazzi travis-ci pending completion  
573 grlang Expose size function for GrLang Graphs push 18 Jul 2018 05:54PM UTC ggazzi travis-ci pending completion  
572 grlang Add env variables to set GrLang memory push 18 Jul 2018 03:24AM UTC ggazzi travis-ci pending completion  
571 grlang Implement union of pair-subobjects push 17 Jul 2018 08:51PM UTC ggazzi travis-ci pending completion  
569 grlang Merge branch 'grlang' push 10 May 2018 04:12AM UTC ggazzi travis-ci pending completion  
568 grlang Expose GrLang internal memory status push 10 May 2018 02:09AM UTC ggazzi travis-ci pending completion  
567 grlang Expose nodes and edges to Lua push 25 Apr 2018 09:49PM UTC ggazzi travis-ci pending completion  
565 grlang Install Lua sources with executable The Lua source files are now listed in the 'data-files' field of the cabal package. Thus, when verigraph-repl is installed, they can still be accessed. push 23 Apr 2018 10:57PM UTC ggazzi travis-ci pending completion  
564 grlang Merge branch 'grlang' push 23 Apr 2018 10:39PM UTC ggazzi travis-ci pending completion  
562 grlang Fix warnings push 23 Apr 2018 09:28PM 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

© 2026 Coveralls, Inc