Repository navigation
[DO NOT MERGE] CI proof: one production file left out of the inventory (L3 must turn red) - #175
Closed
sinkog wants to merge 1 commit into
Conversation
…tory (proof that the L3 completeness check turns the job red) --- [signing-metadata] key = cic-my-sign-key signature = vault:v1:MEYCIQCwnsXy3Yz6gqr+0MxIxf+vTjjaC0z8GIisSBxT2YkPuwIhAOy4WWtvtzm8TwtQES8a5wzCLdJhcWauqSRtan9K5gcc hash-algorithm = sha256 digest = 9kay9SQtg/8PMdOn2Y7jAcU/wdkg/aJ9cZqYVmUFEu4= [certificate] -----BEGIN CERTIFICATE----- MIICBjCCAaygAwIBAgIUSnRMR6RPnEbg296XWPOqq/u5PCwwCgYIKoZIzj0EAwIw QzELMAkGA1UEBhMCSFUxGTAXBgNVBAoMEENlbnRyYWxJbmZyYUNvcmUxGTAXBgNV BAMMEENJQyBEZXZlbG9wZXIgQ0EwHhcNMjYwMzIwMTMyMjU5WhcNMjYxMjMxMTMy MjU5WjBFMQswCQYDVQQGEwJIVTEZMBcGA1UECgwQQ2VudHJhbEluZnJhQ29yZTEb MBkGA1UEAwwSR2Fib3IgWm9sdGFuIFNpbmtvMFkwEwYHKoZIzj0CAQYIKoZIzj0D AQcDQgAEIG2CVmTfmLB9pLLclj7YmP2eedAjklpy4LGrU2ijoiy6Xqpuybv7OgJe i+ez31s65NEV8+X/ByeX1cstR988z6N8MHowCQYDVR0TBAIwADAdBgNVHQ4EFgQU yZN6AIX/TNnIJ9GwAa/NRN3ujHAwHwYDVR0jBBgwFoAUXn6CHYzPUqU4JVP8g+OS WeDYjhcwDgYDVR0PAQH/BAQDAgeAMB0GA1UdJQQWMBQGCCsGAQUFBwMCBggrBgEF BQcDBDAKBggqhkjOPQQDAgNIADBFAiEA+bFzXRoJ4PCQbhAAtpkcMjt0vNj5rEW0 lOMBGDNyaWkCIB1vmM7PcZzv/c9bIrxF5kqv6QXomouhByUfeNUTbpKW -----END CERTIFICATE-----
Member
Author
|
Closed, not merged: superseded by the clean proof PR on the fixed head. The first run is recorded in the PR-04 report (object-evidence run 43638400559, head 497b508: L3 FAIL, 476 objects but 479 top-level func lines). |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
DO NOT MERGE. This PR exists only to show, in a real GitHub Actions run, that the L3 completeness check of the object-evidence verifier turns the job red.
It is based on the PR-04 work branch (#174) and changes one line of
object-evidence.yml: the last production file is left out of the Go inventory (head -n -1). The object list is then incomplete against the independentfunc-line count of the scope, soobject_model.py verifymust reportL3 FAILand theobject-evidencejob must fail. L1 and L2 stay green: a record that is internally consistent and bound to its inputs can still be incomplete.Expected:
object-evidencered withgo unit 'root': … objects but … top-level func lines in the source. The run id is recorded in the PR-04 report (cic-factoryjobs/relay-ci-parity-04-object-level-measurement/output/pr04-report.md). This PR is closed after the run.