Skip to content

Actions: goatgoose/s2n-tls

Actions

Run CBMC proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof_ci.yaml
525 workflow runs
525 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: run fuzz tests in parallel and generate coverage report (#4960) Run CBMC proofs #1039: Commit 23209c4 pushed by goatgoose
December 23, 2024 21:05 1d 1h 16m 49s main
main
December 23, 2024 21:05 1d 1h 16m 49s
chore: remove toidiu from teams.yml (#4985) Run CBMC proofs #1038: Commit cc2ea72 pushed by goatgoose
December 23, 2024 15:46 1d 6h 35m 51s main
main
December 23, 2024 15:46 1d 6h 35m 51s
refactor(bindings/bench): make harness own IO (#4847) Run CBMC proofs #1037: Commit e50f319 pushed by goatgoose
December 17, 2024 18:55 1d 3h 26m 52s main
main
December 17, 2024 18:55 1d 3h 26m 52s
with_plaintext_http Run CBMC proofs #1036: Commit 9f217b9 pushed by goatgoose
December 17, 2024 15:38 1d 6h 43m 9s insecure-http
insecure-http
December 17, 2024 15:38 1d 6h 43m 9s
document default behavior Run CBMC proofs #1035: Commit 9c998c6 pushed by goatgoose
December 16, 2024 22:19 1d 0h 2m 50s insecure-http
insecure-http
December 16, 2024 22:19 1d 0h 2m 50s
add enabled argument to api Run CBMC proofs #1034: Commit 3f13019 pushed by goatgoose
December 16, 2024 21:43 1d 0h 38m 55s insecure-http
insecure-http
December 16, 2024 21:43 1d 0h 38m 55s
feat(s2n-tls-hyper): Allow plain HTTP connections Run CBMC proofs #1033: Commit 00f3218 pushed by goatgoose
December 16, 2024 19:54 1d 2h 27m 21s insecure-http
insecure-http
December 16, 2024 19:54 1d 2h 27m 21s
feat(s2n-tls-hyper): Allow plain HTTP connections Run CBMC proofs #1032: Commit 2cf6727 pushed by goatgoose
December 16, 2024 18:23 1d 3h 58m 11s insecure-http
insecure-http
December 16, 2024 18:23 1d 3h 58m 11s
Merge branch 'main' into insecure-http Run CBMC proofs #1031: Commit 7ed38cc pushed by goatgoose
December 16, 2024 18:16 1d 4h 5m 52s insecure-http
insecure-http
December 16, 2024 18:16 1d 4h 5m 52s
refactor(s2n-tls-hyper): Add HttpsConnector builder (#4976) Run CBMC proofs #1030: Commit a70b2b0 pushed by goatgoose
December 16, 2024 18:08 1d 4h 13m 43s main
main
December 16, 2024 18:08 1d 4h 13m 43s
Merge branch 'main' into connector-builder Run CBMC proofs #1029: Commit 45d1d2b pushed by goatgoose
December 16, 2024 15:23 1d 6h 58m 5s connector-builder
connector-builder
December 16, 2024 15:23 1d 6h 58m 5s
Merge branch 'connector-builder' into insecure-http Run CBMC proofs #1028: Commit 437386a pushed by goatgoose
December 12, 2024 15:39 1d 6h 42m 19s insecure-http
insecure-http
December 12, 2024 15:39 1d 6h 42m 19s
specify generic types upfront Run CBMC proofs #1027: Commit 7c2f691 pushed by goatgoose
December 12, 2024 02:01 1d 20h 20m 27s connector-builder
connector-builder
December 12, 2024 02:01 1d 20h 20m 27s
specify generic types upfront Run CBMC proofs #1026: Commit 282d4cd pushed by goatgoose
December 12, 2024 01:57 1d 20h 24m 7s connector-builder
connector-builder
December 12, 2024 01:57 1d 20h 24m 7s
specify generic types upfront Run CBMC proofs #1025: Commit 4f952bd pushed by goatgoose
December 12, 2024 01:56 1d 20h 25m 47s connector-builder
connector-builder
December 12, 2024 01:56 1d 20h 25m 47s
feat(s2n-tls-hyper): Add API to permit insecure HTTP requests Run CBMC proofs #1024: Commit 12b6912 pushed by goatgoose
December 12, 2024 01:44 1d 20h 37m 0s insecure-http
insecure-http
December 12, 2024 01:44 1d 20h 37m 0s
add insecure http option Run CBMC proofs #1023: Commit 30a9202 pushed by goatgoose
December 12, 2024 01:42 1d 20h 39m 50s insecure-http
insecure-http
December 12, 2024 01:42 1d 20h 39m 50s
specify generic types upfront Run CBMC proofs #1022: Commit a95f412 pushed by goatgoose
December 12, 2024 00:52 1d 21h 29m 37s connector-builder
connector-builder
December 12, 2024 00:52 1d 21h 29m 37s
refactor(s2n-tls-hyper): Add HttpsConnector builder Run CBMC proofs #1021: Commit a5d2590 pushed by goatgoose
December 11, 2024 23:47 1d 22h 34m 19s connector-builder
connector-builder
December 11, 2024 23:47 1d 22h 34m 19s
refactor(s2n-tls-hyper): Add HttpsConnector builder Run CBMC proofs #1020: Commit 8a4db52 pushed by goatgoose
December 11, 2024 23:33 1d 22h 48m 19s connector-builder
connector-builder
December 11, 2024 23:33 1d 22h 48m 19s
add builder Run CBMC proofs #1019: Commit 126cef1 pushed by goatgoose
December 11, 2024 23:13 1d 23h 8m 40s connector-builder
connector-builder
December 11, 2024 23:13 1d 23h 8m 40s
add builder Run CBMC proofs #1018: Commit 56ad6da pushed by goatgoose
December 11, 2024 22:47 1d 23h 34m 6s connector-builder
connector-builder
December 11, 2024 22:47 1d 23h 34m 6s
chore(binding): release 0.3.8 (#4969) Run CBMC proofs #1017: Commit 76cba02 pushed by goatgoose
December 11, 2024 20:54 1d 1h 27m 55s main
main
December 11, 2024 20:54 1d 1h 27m 55s
Merge branch 'main' into hyper-http2 Run CBMC proofs #1016: Commit 35f900d pushed by goatgoose
December 10, 2024 17:40 1d 4h 41m 48s hyper-http2
hyper-http2
December 10, 2024 17:40 1d 4h 41m 48s
fixes Run CBMC proofs #1015: Commit a90e03a pushed by goatgoose
December 3, 2024 21:36 1d 0h 45m 13s hyper-http2
hyper-http2
December 3, 2024 21:36 1d 0h 45m 13s