Skip to content

Actions: awslabs/aws-lc-verification

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
351 workflow runs
351 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add flag -ggdb to enable debug information in Release build CI #801: Pull request #146 synchronize by pennyannn
May 4, 2024 00:22 29m 47s pennyannn:yppe/build
pennyannn:yppe/build
May 4, 2024 00:22 29m 47s
Add flag -ggdb to enable debug information in Release build CI #800: Pull request #146 opened by pennyannn
May 3, 2024 23:50 28m 41s pennyannn:yppe/build
pennyannn:yppe/build
May 3, 2024 23:50 28m 41s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #799: Pull request #144 synchronize by RyanGlScott
May 3, 2024 19:26 37m 20s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
May 3, 2024 19:26 37m 20s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #798: Pull request #144 synchronize by RyanGlScott
May 3, 2024 18:45 36m 57s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
May 3, 2024 18:45 36m 57s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #797: Pull request #144 synchronize by RyanGlScott
May 3, 2024 17:22 37m 1s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
May 3, 2024 17:22 37m 1s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #796: Pull request #144 synchronize by RyanGlScott
May 2, 2024 20:34 36m 56s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
May 2, 2024 20:34 36m 56s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #795: Pull request #144 synchronize by RyanGlScott
May 2, 2024 15:55 29m 38s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
May 2, 2024 15:55 29m 38s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #794: Pull request #144 synchronize by RyanGlScott
May 2, 2024 15:16 29m 28s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
May 2, 2024 15:16 29m 28s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #793: Pull request #144 synchronize by RyanGlScott
May 1, 2024 19:18 35m 57s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
May 1, 2024 19:18 35m 57s
Use the RelWithDebInfo build type CI #792: Pull request #145 opened by justsmth
May 1, 2024 12:38 27m 20s justsmth:RelWithDebInfo
justsmth:RelWithDebInfo
May 1, 2024 12:38 27m 20s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #791: Pull request #144 synchronize by RyanGlScott
April 30, 2024 19:56 29m 21s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
April 30, 2024 19:56 29m 21s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #790: Pull request #144 synchronize by RyanGlScott
April 24, 2024 18:48 1h 7m 19s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
April 24, 2024 18:48 1h 7m 19s
Add unbounded AES-GCM verification, isolate newer SAW from other proofs CI #789: Pull request #144 opened by RyanGlScott
April 24, 2024 18:28 1h 2m 50s RyanGlScott:rgs/aes-gcm-unbounded-isolated
RyanGlScott:rgs/aes-gcm-unbounded-isolated
April 24, 2024 18:28 1h 2m 50s
Add unbounded AES-GCM verification CI #788: Pull request #143 synchronize by RyanGlScott
April 24, 2024 14:11 1h 7m 7s RyanGlScott:rgs/aes-gcm-unbounded
RyanGlScott:rgs/aes-gcm-unbounded
April 24, 2024 14:11 1h 7m 7s
Add unbounded AES-GCM verification CI #787: Pull request #143 synchronize by RyanGlScott
April 23, 2024 23:09 1h 10m 7s RyanGlScott:rgs/aes-gcm-unbounded
RyanGlScott:rgs/aes-gcm-unbounded
April 23, 2024 23:09 1h 10m 7s
Add unbounded AES-GCM verification CI #786: Pull request #143 synchronize by RyanGlScott
April 23, 2024 22:23 30m 12s RyanGlScott:rgs/aes-gcm-unbounded
RyanGlScott:rgs/aes-gcm-unbounded
April 23, 2024 22:23 30m 12s
Add unbounded AES-GCM verification CI #785: Pull request #143 synchronize by RyanGlScott
April 23, 2024 21:09 31m 54s RyanGlScott:rgs/aes-gcm-unbounded
RyanGlScott:rgs/aes-gcm-unbounded
April 23, 2024 21:09 31m 54s
Add unbounded AES-GCM verification CI #784: Pull request #143 opened by RyanGlScott
April 23, 2024 19:21 26m 0s RyanGlScott:rgs/aes-gcm-unbounded
RyanGlScott:rgs/aes-gcm-unbounded
April 23, 2024 19:21 26m 0s
Adding CITATION file (#142) CI #783: Commit ebe9626 pushed by apetcher-amazon
April 23, 2024 17:21 28m 17s master
master
April 23, 2024 17:21 28m 17s
Adding CITATION file CI #782: Pull request #142 opened by apetcher-amazon
April 23, 2024 16:24 29m 21s apetcher-amazon:master
apetcher-amazon:master
April 23, 2024 16:24 29m 21s
Improvements to formal verification of P-384 (#141) CI #781: Commit fbcf31b pushed by apetcher-amazon
April 22, 2024 18:16 30m 42s master
master
April 22, 2024 18:16 30m 42s
Improvements to formal verification of P-384 CI #780: Pull request #141 synchronize by apetcher-amazon
April 22, 2024 17:44 30m 3s apetcher-amazon:p384_validate_2
apetcher-amazon:p384_validate_2
April 22, 2024 17:44 30m 3s
Improvements to formal verification of P-384 CI #779: Pull request #141 synchronize by apetcher-amazon
April 18, 2024 15:55 29m 34s apetcher-amazon:p384_validate_2
apetcher-amazon:p384_validate_2
April 18, 2024 15:55 29m 34s
Improvements to formal verification of P-384 CI #778: Pull request #141 synchronize by apetcher-amazon
April 10, 2024 13:20 29m 15s apetcher-amazon:p384_validate_2
apetcher-amazon:p384_validate_2
April 10, 2024 13:20 29m 15s
Improvements to formal verification of P-384 CI #777: Pull request #141 synchronize by apetcher-amazon
April 9, 2024 16:22 28m 55s apetcher-amazon:p384_validate_2
apetcher-amazon:p384_validate_2
April 9, 2024 16:22 28m 55s