1
94%
main: 94%

Ran 15 May 2026 02:04PM UTC

Files 33

Run time 2s

Badge

Embed ▾

Committed 15 May 2026 02:03PM UTC coverage: 93.548% (+1.6%) from 91.979%

Job # 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86.1

Build Type

Pull #86

github

Committed by

thanos

Commit Message

Completed in this session

Medium issues:
 - M2: Changed @callback evaluate and all @spec evaluate from map() to Binding.t() across all 5 constraint modules + constraint.ex
 - M4: Replaced false "extensibility" claim with accurate description of closed dispatch
 - M7: Refactored conformance macro to pass backend module directly via unquote instead of injecting alias/@schemas into the caller

Low issues:
 - L2: Added Logger.debug for unknown relation in both Storage.Map.size/2 and Storage.ETS.size/2
 - L3: Extracted build_result/8 and emit_result_telemetry/5 from do_evaluate_inner
 - L4: Widened teardown callback return type to :ok | {:error, term()}
 - L5: Added :set rationale section to ETS moduledoc
 - L6: Widened from_backend spec from {module(), term()} to {atom(), term()}
 - L7: Added alias ExDatalog.IR to constraint.ex and used IR.from_constraint/1 instead of full path

Fix also: Telemetry test emit_stop/4 call updated to emit_stop/5 with explicit storage type (leftover from prior M9 fix)
601 tests, 0 failures, credo clean, dialyzer clean, formatter clean.

Pull Request Pull Request #86: V0.2.0/constraint storage foundations

Coverage Stats

870 of 930 relevant lines covered (93.55%)

143.83 hits per line

thanos / ex_datalog / 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86 / 1
94%
main: 94%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86.1

thanos / ex_datalog / 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86 / 1 94% main: 94%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86.1

thanos / ex_datalog / 42c415a8538ce166a1df7d55f1ed66ffd636f4e9-PR-86 / 1
94%
main: 94%

README BADGES
x