Skip to content
CI Checks

Fix JSON validation issues concerning missing commas, escaped control characters, and hex escaped 0 value. #798

Sign in to view logs

Fix JSON validation issues concerning missing commas, escaped control characters, and hex escaped 0 value.

Fix JSON validation issues concerning missing commas, escaped control characters, and hex escaped 0 value. #798

Triggered via pull request December 5, 2025 01:00
@jasonpcarrolljasonpcarroll
synchronize #179
jasonpcarroll:main
Status Failure
Total duration 9m 36s
Artifacts 1

ci.yml

on: pull_request
unittest
36s
unittest
complexity
14s
complexity
doxygen
18s
doxygen
spell-check
1m 8s
spell-check
formatting
13s
formatting
git-secrets
5s
git-secrets
custom-standard-c-headers
14s
custom-standard-c-headers
memory_statistics
32s
memory_statistics
link-verifier
9m 32s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
2m 32s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 error
link-verifier
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreJSON_2025_12_05_01_02_34
15.6 MB
sha256:e796e6134569dae2ecabad4f4dd5d99d8ef7164739451d9ccc2563407d5de24c