ci: add typo check to ci (#5491) · aws/s2n-tls@8416074

Triggered via push December 8, 2025 20:20

main

Status Success

Total duration 18m 46s

Artifacts 1

proof_ci.yaml

on: push

Produced during runtime

Name	Size	Digest
cbmc_proof_results_s2n-tls_2025_12_08_20_38_52	314 MB	`sha256:e4ffa8602e8fb0de5488e6abff82e31c7ad1df862cb6884b35c67f4f82122ec7`