Skip to content
CI Checks

Fix Year 2038 Problem in Sntp_ConvertToUnixTime (#104) #735

Sign in to view logs

Fix Year 2038 Problem in Sntp_ConvertToUnixTime (#104)

Fix Year 2038 Problem in Sntp_ConvertToUnixTime (#104) #735

Triggered via push April 15, 2025 09:11
@kar-rahul-awskar-rahul-aws
pushed 941ad2f
main
Status Success
Total duration 1m 14s
Artifacts 1

ci.yml

on: push
build-check
7s
build-check
build-code-example
3s
build-code-example
unittest-with-sanitizer
11s
unittest-with-sanitizer
unittest-for-coverage
33s
unittest-for-coverage
complexity
14s
complexity
spell-check
1m 8s
spell-check
formatting
12s
formatting
git-secrets
5s
git-secrets
link-verifier
55s
link-verifier
verify-manifest
6s
verify-manifest
doxygen
21s
doxygen
memory_statistics
29s
memory_statistics
proof_ci
1m 2s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreSNTP_2025_04_15_09_12_10 Expired
2.66 MB
sha256:d1e27708fcaee43334c87d169ecb9bdda352a24ee51e6d7a85b9dd99f2748041