Skip to content

Actions: aws/s2n-tls

Actions

Run CBMC proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof_ci.yaml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(metrics-subscriber): extract cert parameters from der Run CBMC proofs #12766: Pull request #5838 synchronize by jmayclin
19m 1s jmayclin:cert-parsing-impl
jmayclin:cert-parsing-impl
19m 1s
feat(metrics-subscriber): extract cert parameters from der Run CBMC proofs #12765: Pull request #5838 synchronize by jmayclin
19m 19s jmayclin:cert-parsing-impl
jmayclin:cert-parsing-impl
19m 19s
feat(metrics-subscriber): extract cert parameters from der Run CBMC proofs #12764: Pull request #5838 synchronize by jmayclin
19m 14s jmayclin:cert-parsing-impl
jmayclin:cert-parsing-impl
19m 14s
fix(config): Re-complete domain cert map after failed add Run CBMC proofs #12763: Pull request #5846 synchronize by alexw91
18m 50s alexw91:fix-map-relock-on-failure
alexw91:fix-map-relock-on-failure
18m 50s
feat(bindings): add init feature flag Run CBMC proofs #12762: Pull request #5831 synchronize by kaukabrizvi
19m 25s kaukabrizvi:init-feature-flag
kaukabrizvi:init-feature-flag
19m 25s
fix: enable FIPS mode with validated 3+ providers and OpenSSL 3.5+ Run CBMC proofs #12761: Pull request #5840 synchronize by kaukabrizvi
18m 43s xnox:lift-check
xnox:lift-check
18m 43s
fix: enable FIPS mode with validated 3+ providers and OpenSSL 3.5+ Run CBMC proofs #12760: Pull request #5840 synchronize by xnox
19m 13s xnox:lift-check
xnox:lift-check
19m 13s
fix: enable FIPS mode with validated 3+ providers and OpenSSL 3.5+ Run CBMC proofs #12759: Pull request #5840 synchronize by xnox
19m 45s xnox:lift-check
xnox:lift-check
19m 45s
fix(mem): Restore mlock allocator defaults on init and cleanup Run CBMC proofs #12758: Pull request #5848 synchronize by alexw91
16m 57s alexw91:fix-mlock-after-cleanup
alexw91:fix-mlock-after-cleanup
16m 57s
fix(connection): Make set_config validator replacement transactional Run CBMC proofs #12757: Pull request #5847 synchronize by alexw91
18m 46s alexw91:fix-set-config-transactional-validator
alexw91:fix-set-config-transactional-validator
18m 46s
feat(metrics-subscriber): extract cert parameters from der Run CBMC proofs #12756: Pull request #5838 synchronize by jmayclin
19m 31s jmayclin:cert-parsing-impl
jmayclin:cert-parsing-impl
19m 31s
fix: cleanup kem public key in failure case (#5841) Run CBMC proofs #12755: Commit 3fa4b81 pushed by github-merge-queue Bot
17m 56s main
main
17m 56s
fix: wipe from high_water_mark in s2n_stuffer_wipe_n Run CBMC proofs #12754: Pull request #5815 synchronize by firedog1234
26m 8s firedog1234:avi-patel/stuffer-wipe-n-high-water-mark
firedog1234:avi-patel/stuffer-wipe-n-high-water-mark
26m 8s
fix: wipe from high_water_mark in s2n_stuffer_wipe_n Run CBMC proofs #12753: Pull request #5815 synchronize by firedog1234
Action required firedog1234:avi-patel/stuffer-wipe-n-high-water-mark
firedog1234:avi-patel/stuffer-wipe-n-high-water-mark
Action required
fix: cleanup kem public key in failure case (#5841) Run CBMC proofs #12752: Commit 3fa4b81 pushed by github-merge-queue Bot
18m 9s gh-readonly-queue/main/pr-5841-a1c3f652a0e07b799a41db37da80842d07ab58b1
gh-readonly-queue/main/pr-5841-a1c3f652a0e07b799a41db37da80842d07ab58b1
18m 9s
Run CBMC proofs Run CBMC proofs #12751: Merge group checks requested
20m 13s
20m 13s
fix(connection): Make set_config validator replacement transactional Run CBMC proofs #12750: Pull request #5847 synchronize by alexw91
18m 29s alexw91:fix-set-config-transactional-validator
alexw91:fix-set-config-transactional-validator
18m 29s
fix(config): Re-complete domain cert map after failed add Run CBMC proofs #12749: Pull request #5846 synchronize by alexw91
18m 59s alexw91:fix-map-relock-on-failure
alexw91:fix-map-relock-on-failure
18m 59s
fix(mem): Restore mlock allocator defaults on init and cleanup Run CBMC proofs #12748: Pull request #5848 opened by alexw91
18m 21s alexw91:fix-mlock-after-cleanup
alexw91:fix-mlock-after-cleanup
18m 21s
fix: make get_handshake_type_name procotol aware Run CBMC proofs #12747: Pull request #5843 synchronize by jmayclin
18m 33s jmayclin:2026-04-23-get-handshake-type
jmayclin:2026-04-23-get-handshake-type
18m 33s
fix(connection): Make set_config validator replacement transactional Run CBMC proofs #12746: Pull request #5847 opened by alexw91
20m 14s alexw91:fix-set-config-transactional-validator
alexw91:fix-set-config-transactional-validator
20m 14s
fix(config): Re-complete domain cert map after failed add Run CBMC proofs #12745: Pull request #5846 opened by alexw91
20m 43s alexw91:fix-map-relock-on-failure
alexw91:fix-map-relock-on-failure
20m 43s
docs: document threading contract on s2n_async_pkey_op_apply and reje… Run CBMC proofs #12744: Pull request #5845 opened by WesleyRosenblum
18m 59s WesleyRosenblum/asyncrace
WesleyRosenblum/asyncrace
18m 59s
docs: document threading contract on s2n_async_pkey_op_apply and reje… Run CBMC proofs #12743: Commit d238b0a pushed by WesleyRosenblum
19m 7s WesleyRosenblum/asyncrace
WesleyRosenblum/asyncrace
19m 7s
refactor: reset d2i pointer before private key type-hint fallback Run CBMC proofs #12742: Pull request #5844 synchronize by WesleyRosenblum
18m 46s WesleyRosenblum/d2i
WesleyRosenblum/d2i
18m 46s