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

futhr / ex_maude
91%

Build:
DEFAULT BRANCH: main
Repo Added 12 Jan 2026 04:17PM UTC
Token GZ6jo4bSx0GFWa9qgJxahjQ3I1UxPuCJG regen
Build 3 Last
Files 23
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 main
branch: main
CHANGE BRANCH
x
Reset
Sync Branches
  • main

02 Mar 2026 07:06AM UTC coverage: 91.167% (+0.1%) from 91.062%
d8cafe838e19f71397ea41345e773f60f5d8eb7a

push

github

futhr
fix: tighten encoder specs to resolve dialyzer contract_supertype warning

547 of 600 relevant lines covered (91.17%)

110.55 hits per line

Relevant lines Covered
Build:
Build:
600 RELEVANT LINES 547 COVERED LINES
110.55 HITS PER LINE
Source Files on main
  • Tree
  • List 23
  • Changed 9
  • Source Changed 0
  • Coverage Changed 9
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
d8cafe83... main fix: tighten encoder specs to resolve dialyzer contract_supertype warning push 02 Mar 2026 07:12AM UTC futhr github
91.17
b8cd2ac1... main chore: update mix.lock (ex_doc 0.39.3 -> 0.40.0) push 21 Jan 2026 12:17PM UTC futhr github
91.06
a2d84171... main fix: split telemetry tests to use MaudeCase for integration tests The telemetry integration tests were failing because they used ExUnit.Case instead of ExMaude.MaudeCase, so the Maude pool was never started. Split into two files: - telemetry_tes... push 12 Jan 2026 04:17PM UTC futhr github
91.03
See All Builds (3)

Badge your Repo: ex_maude

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