Skip to content

Actions: Mark-Simulacrum/s2n-tls

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add new security policy (20250211) Run CBMC proofs #46: Commit 79f45ab pushed by Mark-Simulacrum
February 17, 2025 21:12 1d 17h 36m 3s add-20250211
add-20250211
February 17, 2025 21:12 1d 17h 36m 3s
Update tests/unit/s2n_security_policies_test.c Run CBMC proofs #45: Commit e77df4f pushed by Mark-Simulacrum
February 17, 2025 19:07 1d 19h 41m 51s add-20250211
add-20250211
February 17, 2025 19:07 1d 19h 41m 51s
Include test against default_tls13 Run CBMC proofs #44: Commit 42da28f pushed by Mark-Simulacrum
February 17, 2025 18:28 1d 20h 20m 26s add-20250211
add-20250211
February 17, 2025 18:28 1d 20h 20m 26s
Generate & use sha384 cert for rfc9151 tests Run CBMC proofs #43: Commit efe3ef2 pushed by Mark-Simulacrum
February 17, 2025 15:54 1d 1h 19m 51s add-20250211
add-20250211
February 17, 2025 15:54 1d 1h 19m 51s
Generate & use sha384 cert for rfc9151 tests Run CBMC proofs #42: Commit f43a4ce pushed by Mark-Simulacrum
February 12, 2025 17:17 1d 21h 31m 28s add-20250211
add-20250211
February 12, 2025 17:17 1d 21h 31m 28s
Add new security policy (20250211) Run CBMC proofs #41: Commit 88abc7f pushed by Mark-Simulacrum
February 12, 2025 14:02 1d 3h 11m 46s add-20250211
add-20250211
February 12, 2025 14:02 1d 3h 11m 46s
Also add a way to unwrap an already negotiated TlsStream Run CBMC proofs #40: Commit 4a907d5 pushed by Mark-Simulacrum
February 26, 2024 20:28 9d 16h 4m 5s stream-recovery
stream-recovery
February 26, 2024 20:28 9d 16h 4m 5s
Add support for recovering stream from s2n-tls-tokio bindings Run CBMC proofs #39: Commit fbe29e4 pushed by Mark-Simulacrum
February 26, 2024 14:43 1d 0h 5m 45s stream-recovery
stream-recovery
February 26, 2024 14:43 1d 0h 5m 45s
Add support for recovering stream from s2n-tls-tokio bindings Run CBMC proofs #38: Commit 5bacb65 pushed by Mark-Simulacrum
February 26, 2024 14:41 1d 0h 7m 31s stream-recovery
stream-recovery
February 26, 2024 14:41 1d 0h 7m 31s
Add support for recovering stream from s2n-tls-tokio bindings Run CBMC proofs #37: Commit b7a034a pushed by Mark-Simulacrum
February 23, 2024 18:14 1d 7h 4m 32s stream-recovery
stream-recovery
February 23, 2024 18:14 1d 7h 4m 32s
Merge branch 'main' into license-check Run CBMC proofs #36: Commit b3d4489 pushed by dougch
February 20, 2024 23:54 1d 14h 54m 0s license-check
license-check
February 20, 2024 23:54 1d 14h 54m 0s
Merge branch 'main' into license-check Run CBMC proofs #35: Commit 88ebcc2 pushed by dougch
February 20, 2024 16:49 1d 0h 24m 20s license-check
license-check
February 20, 2024 16:49 1d 0h 24m 20s
Merge branch 'main' into expose-cert-chain Run CBMC proofs #34: Commit 2e18b0f pushed by maddeleine
February 20, 2024 01:40 1d 13h 8m 38s expose-cert-chain
expose-cert-chain
February 20, 2024 01:40 1d 13h 8m 38s
Merge branch 'main' into expose-cert-chain Run CBMC proofs #33: Commit c27bcb9 pushed by maddeleine
February 19, 2024 23:34 1d 15h 14m 36s expose-cert-chain
expose-cert-chain
February 19, 2024 23:34 1d 15h 14m 36s
Extend license check to .rs files Run CBMC proofs #32: Commit 9b62f68 pushed by Mark-Simulacrum
February 19, 2024 17:02 1d 0h 11m 6s license-check
license-check
February 19, 2024 17:02 1d 0h 11m 6s
Add Rust bindings for certificate chains Run CBMC proofs #31: Commit a0a62f0 pushed by Mark-Simulacrum
February 19, 2024 16:55 1d 0h 18m 5s expose-cert-chain
expose-cert-chain
February 19, 2024 16:55 1d 0h 18m 5s
Add Rust bindings for certificate chains Run CBMC proofs #30: Commit a1e8661 pushed by Mark-Simulacrum
February 13, 2024 18:04 1d 20h 44m 20s expose-cert-chain
expose-cert-chain
February 13, 2024 18:04 1d 20h 44m 20s
Add Rust bindings for certificate chains Run CBMC proofs #29: Commit 9e2b9c0 pushed by Mark-Simulacrum
February 12, 2024 15:39 1d 2h 26m 58s expose-cert-chain
expose-cert-chain
February 12, 2024 15:39 1d 2h 26m 58s
Add Rust bindings for certificate chains Run CBMC proofs #28: Commit 2315aac pushed by Mark-Simulacrum
February 12, 2024 15:34 1d 2h 32m 20s expose-cert-chain
expose-cert-chain
February 12, 2024 15:34 1d 2h 32m 20s
Add Rust bindings for certificate chains Run CBMC proofs #27: Commit 3e985c6 pushed by Mark-Simulacrum
February 12, 2024 15:04 1d 3h 1m 44s expose-cert-chain
expose-cert-chain
February 12, 2024 15:04 1d 3h 1m 44s
Add Rust bindings for certificate chains Run CBMC proofs #26: Commit bcc0afd pushed by Mark-Simulacrum
January 31, 2024 23:25 1d 15h 23m 32s expose-cert-chain
expose-cert-chain
January 31, 2024 23:25 1d 15h 23m 32s