3
82%
main: 82%

Ran 09 Jun 2023 11:29AM UTC

Files 120

Run time 1s

Badge

Embed ▾

Committed 09 Jun 2023 11:23AM UTC coverage: 83.211% (-0.2%) from 83.374%

Job # 5221339814.3

Build Type

push

github

Committed by

web-flow

Commit Message

Make nullability checks stricter in type inference (#385)

We make `intermediate.type_inference` stricter w.r.t. nullability
(non-None) checks. This is motivated by bugs occurring in aas-core-meta,
such as [271], [272] and [273].

[271]: https://github.com/aas-core-works/aas-core-meta/pull/271
[272]: https://github.com/aas-core-works/aas-core-meta/pull/272
[273]: https://github.com/aas-core-works/aas-core-meta/pull/273

Run Details

16653 of 20013 relevant lines covered (83.21%)

0.83 hits per line

aas-core-works / aas-core-codegen / 5221339814 / 3
82%
main: 82%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.9 - 5221339814.3

aas-core-works / aas-core-codegen / 5221339814 / 3 82% main: 82%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 3.9 - 5221339814.3

aas-core-works / aas-core-codegen / 5221339814 / 3
82%
main: 82%

README BADGES
x