35666034739
89%

Ran 21 Sep 2026 11:11PM UTC

Jobs 3

Files 288

Run time 1min

Badge

Embed ▾

Committed 21 Sep 2026 11:06PM UTC coverage: 87.169%. Remained the same

Build # 35666034739

Build Type

push

github

Committed by

web-flow

Commit Message

Emit the JSON-able alias in the C# verification (#742)

A verification function may take a JSON-able value, and an invariant may
name one, so ``verification.cs`` spells ``Nodes.JsonObject`` and
``Nodes.JsonNode`` in the signature. The alias was never emitted there,
though.

The alias is now emitted whenever the meta-model uses a JSON-able type.

Coverage Stats

1 of 1 new or added line in 1 file covered. (100.0%)

36850 of 42274 relevant lines covered (87.17%)

2.62 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	3.12 - 35666034739.1	21 Sep 2026 11:14PM UTC	288	87.17	GitHub Action Run
2	3.10 - 35666034739.2	21 Sep 2026 11:14PM UTC	288	87.17	GitHub Action Run
3	3.11 - 35666034739.3	21 Sep 2026 11:14PM UTC	288	87.17	GitHub Action Run

eclipse-aascw / aas-core-codegen / 35666034739
89%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 35666034739

eclipse-aascw / aas-core-codegen / 35666034739 89%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 35666034739

eclipse-aascw / aas-core-codegen / 35666034739
89%

README BADGES
x