• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In
You are now the owner of this repo.

eiffel-community / eiffel-remrem-semantics
50%

Build:
DEFAULT BRANCH: master
Repo Added 03 Apr 2025 11:50AM UTC
Token uGxNmgqui39eEEmokjpmiK4duzj6IvYzf regen
Build 6 Last
Files 155
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 master
branch: SELECT
CHANGE BRANCH
x
Sync Branches
  • No branch selected
  • master

10 Mar 2026 10:17AM UTC coverage: 49.7% (+0.3%) from 49.39%
22897688138

push

github

web-flow
Validate PURLs (#179)

* Optional validation of PURLs added
* A temporary directory used for schema builds

291 of 570 branches covered (51.05%)

Branch coverage included in aggregate %.

2192 of 4426 relevant lines covered (49.53%)

4.25 hits per line

Relevant lines Covered
Build:
Build:
4426 RELEVANT LINES 2192 COVERED LINES
4.25 HITS PER LINE
Source Files on master
  • Tree
  • List 155
  • Changed 6
  • Source Changed 0
  • Coverage Changed 6
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
22897688138 master Validate PURLs (#179) * Optional validation of PURLs added * A temporary directory used for schema builds push 10 Mar 2026 10:18AM UTC web-flow github
49.7
20226141285 master Bump actions/checkout from 5 to 6 (#180) Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGE... push 15 Dec 2025 08:57AM UTC web-flow github
49.39
18010789310 master Bump actions/checkout from 4 to 5 (#177) Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGE... push 25 Sep 2025 02:28PM UTC web-flow github
49.39
18010733989 master Bump actions/setup-java from 4 to 5 (#178) Bumps [actions/setup-java](https://github.com/actions/setup-java) from 4 to 5. - [Release notes](https://github.com/actions/setup-java/releases) - [Commits](https://github.com/actions/setup-java/compare/... push 25 Sep 2025 02:26PM UTC web-flow github
49.39
16300484136 master False positive test pass (#176) push 15 Jul 2025 05:47PM UTC web-flow github
49.39
14242220879 master Update code coverage with coveralls and build badge with github actions (#175) * Update code coverage with coveralls and build badge with github actions * Update pom.xml with jacoco plugin push 03 Apr 2025 11:50AM UTC web-flow github
49.39
See All Builds (6)

Badge your Repo: eiffel-remrem-semantics

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

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

Refresh
  • Settings
  • 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