a2d841711031b218d15ac132523186eed81db20f
91%

Ran 12 Jan 2026 04:17PM UTC

Jobs 1

Files 23

Run time 1min

Badge

Embed ▾

Committed 12 Jan 2026 04:15PM UTC coverage: 91.034%. First build

Build # a2d841711031b218d15ac132523186eed81db20f

Build Type

push

github

Committed by

futhr

Commit Message

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_test.exs: unit tests that don't need Maude
- telemetry_integration_test.exs: integration tests using MaudeCase

Run Details

528 of 580 relevant lines covered (91.03%)

113.35 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	a2d841711031b218d15ac132523186eed81db20f.1	12 Jan 2026 04:17PM UTC	23	91.03	GitHub Action Run

futhr / ex_maude / a2d841711031b218d15ac132523186eed81db20f
91%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build a2d841711031b218d15ac132523186eed81db20f

futhr / ex_maude / a2d841711031b218d15ac132523186eed81db20f 91%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build a2d841711031b218d15ac132523186eed81db20f

futhr / ex_maude / a2d841711031b218d15ac132523186eed81db20f
91%

README BADGES
x