Skip to content
On Main Push

tls: update CBMC proofs #105

Sign in to view logs

tls: update CBMC proofs

tls: update CBMC proofs #105

Triggered via push January 26, 2024 09:40
@github-merge-queuegithub-merge-queue[bot]
pushed 851b524
main
Status Failure
Total duration 9m 16s
Artifacts –

on_main_push.yml

on: push
book  /  build
16s
book / build
Matrix: clusterfuzz / clusterfuzz-publish
coverage-report  /  Coverage Report
9m 7s
coverage-report / Coverage Report
book  /  Deploy
28s
book / Deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 14 warnings
clusterfuzz / clusterfuzz-publish (linux_clang_haswell)
Docker build failed with exit code 1
clusterfuzz / clusterfuzz-publish (linux_clang_icelake)
The job was canceled because "linux_clang_haswell" failed.
clusterfuzz / clusterfuzz-publish (linux_clang_icelake)
The operation was canceled.
book / build
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: oven-sh/setup-bun@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
clusterfuzz / clusterfuzz-publish (linux_clang_haswell)
Docker build failed with exit code 1, back off 1.471 seconds before retry.
clusterfuzz / clusterfuzz-publish (linux_clang_haswell)
Docker build failed with exit code 1, back off 7.029 seconds before retry.
coverage-report / Coverage Report
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
coverage-report / Coverage Report: src/ballet/base58/fuzz_base58_garbage.c#L58
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/base58/fuzz_base58_garbage.c#L64
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/base58/fuzz_base58_garbage.c#L50
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/base58/fuzz_base58_roundtrip.c#L45
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/base64/fuzz_base64_dec.c#L38
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/base64/fuzz_base64_dec.c#L46
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/base64/fuzz_base64_dec.c#L40
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/base64/fuzz_base64_enc.c#L53
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/blake3/fuzz_blake3.c#L41
"Canary not yet covered by fuzzing"
coverage-report / Coverage Report: src/ballet/bmtree/fuzz_bmtree.c#L182
"Canary not yet covered by fuzzing"