Closed cptanalatriste closed 1 week ago
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Totals | |
---|---|
Change from base Build 9614951569: | 0.7% |
Covered Lines: | 1384 |
Relevant Lines: | 1654 |
This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.
Totals | |
---|---|
Change from base Build 9614951569: | 0.7% |
Covered Lines: | 1384 |
Relevant Lines: | 1654 |
As reported in https://github.com/alan-turing-institute/AssurancePlatform/issues/489 , the identifier assignment became inconsistent. In this PR, we have an automated test that checks identifiers follow insertion order.