Skip to content

Actions: GaloisInc/aws-lc-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Two updates to the SAW integration: CI #254: Commit f257046 pushed by sauclovian-g
January 27, 2025 22:04 37m 21s saw-test-runs
saw-test-runs
January 27, 2025 22:04 37m 21s
Add unbounded AES-GCM verification. CI #253: Commit 90db065 pushed by andreistefanescu
January 23, 2024 01:31 1d 10h 37m 27s aes-gcm-unbounded-latest
aes-gcm-unbounded-latest
January 23, 2024 01:31 1d 10h 37m 27s
Works! CI #252: Commit 7423062 pushed by andreistefanescu
January 23, 2024 01:23 1d 10h 45m 6s aes-gcm-unbounded-wip
aes-gcm-unbounded-wip
January 23, 2024 01:23 1d 10h 45m 6s
Works! CI #251: Commit 703a7cf pushed by andreistefanescu
January 23, 2024 00:55 1d 11h 13m 28s aes-gcm-unbounded-wip
aes-gcm-unbounded-wip
January 23, 2024 00:55 1d 11h 13m 28s
wip CI #250: Commit 1c54be7 pushed by andreistefanescu
December 24, 2023 10:12 5m 50s aes-gcm-unbounded
aes-gcm-unbounded
December 24, 2023 10:12 5m 50s
wip CI #249: Commit a1ed6f8 pushed by andreistefanescu
December 23, 2023 01:00 5m 15s aes-gcm-unbounded
aes-gcm-unbounded
December 23, 2023 01:00 5m 15s
wip CI #248: Commit 43f9a43 pushed by andreistefanescu
December 21, 2023 06:43 5m 30s aes-gcm-unbounded
aes-gcm-unbounded
December 21, 2023 06:43 5m 30s
wip CI #247: Commit 4af70c3 pushed by andreistefanescu
December 21, 2023 06:38 5m 14s aes-gcm-unbounded
aes-gcm-unbounded
December 21, 2023 06:38 5m 14s