Skip to content

Actions: GaloisInc/cryptol-specs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
738 workflow runs
738 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #240 from GaloisInc/239-ChaChaPolyCryptolIETF Cryptol typecheck #725: Commit 275a129 pushed by RyanGlScott
February 7, 2025 15:06 1m 31s master
master
February 7, 2025 15:06 1m 31s
ChaChaPolyCryptolIETF: Return an Option in AEAD_CHACHA20_POLY1305_DECRYPT Copyright check #245: Pull request #240 synchronize by RyanGlScott
February 7, 2025 11:22 14s 239-ChaChaPolyCryptolIETF
239-ChaChaPolyCryptolIETF
February 7, 2025 11:22 14s
ChaChaPolyCryptolIETF: Return an Option in AEAD_CHACHA20_POLY1305_DECRYPT Cryptol typecheck #724: Pull request #240 synchronize by RyanGlScott
February 7, 2025 11:22 1m 23s 239-ChaChaPolyCryptolIETF
239-ChaChaPolyCryptolIETF
February 7, 2025 11:22 1m 23s
ChaChaPolyCryptolIETF: Return an Option in AEAD_CHACHA20_POLY1305_DECRYPT Copyright check #244: Pull request #240 synchronize by RyanGlScott
February 6, 2025 21:20 11s 239-ChaChaPolyCryptolIETF
239-ChaChaPolyCryptolIETF
February 6, 2025 21:20 11s
ChaChaPolyCryptolIETF: Return an Option in AEAD_CHACHA20_POLY1305_DECRYPT Cryptol typecheck #723: Pull request #240 synchronize by RyanGlScott
February 6, 2025 21:20 1m 24s 239-ChaChaPolyCryptolIETF
239-ChaChaPolyCryptolIETF
February 6, 2025 21:20 1m 24s
ChaChaPolyCryptolIETF: Return an Option in AEAD_CHACHA20_POLY1305_DECRYPT Cryptol typecheck #722: Pull request #240 opened by RyanGlScott
February 6, 2025 20:36 1m 21s 239-ChaChaPolyCryptolIETF
239-ChaChaPolyCryptolIETF
February 6, 2025 20:36 1m 21s
ChaChaPolyCryptolIETF: Return an Option in AEAD_CHACHA20_POLY1305_DECRYPT Copyright check #243: Pull request #240 opened by RyanGlScott
February 6, 2025 20:36 16s 239-ChaChaPolyCryptolIETF
239-ChaChaPolyCryptolIETF
February 6, 2025 20:36 16s
AES cleanup fixes pt 3 issue 179 Copyright check #242: Pull request #237 opened by jn80842
February 4, 2025 22:14 11s smallAES179a
smallAES179a
February 4, 2025 22:14 11s
AES cleanup fixes pt 3 issue 179 Cryptol typecheck #721: Pull request #237 opened by jn80842
February 4, 2025 22:14 1m 23s smallAES179a
smallAES179a
February 4, 2025 22:14 1m 23s
Merge pull request #231 from GaloisInc/speck Cryptol typecheck #720: Commit 6959e11 pushed by j-christensen1
February 4, 2025 16:42 1m 24s master
master
February 4, 2025 16:42 1m 24s
Speck Improvments Copyright check #241: Pull request #231 synchronize by j-christensen1
February 4, 2025 16:06 14s speck
speck
February 4, 2025 16:06 14s
Speck Improvments Cryptol typecheck #719: Pull request #231 synchronize by j-christensen1
February 4, 2025 16:06 1m 25s speck
speck
February 4, 2025 16:06 1m 25s
Speck Improvments Cryptol typecheck #718: Pull request #231 synchronize by j-christensen1
February 4, 2025 15:58 1m 32s speck
speck
February 4, 2025 15:58 1m 32s
Speck Improvments Copyright check #240: Pull request #231 synchronize by j-christensen1
February 4, 2025 15:58 16s speck
speck
February 4, 2025 15:58 16s
Merge pull request #227 from GaloisInc/225-rearrange-sha3 Cryptol typecheck #717: Commit f89f790 pushed by marsella
February 3, 2025 18:41 1m 27s master
master
February 3, 2025 18:41 1m 27s
Merge pull request #226 from GaloisInc/157-hmac Cryptol typecheck #716: Commit 0f963cf pushed by marsella
February 3, 2025 18:41 1m 21s master
master
February 3, 2025 18:41 1m 21s
Merge pull request #224 from GaloisInc/122-replace-sha2 Cryptol typecheck #715: Commit 3ec8dc2 pushed by marsella
February 3, 2025 18:40 1m 19s master
master
February 3, 2025 18:40 1m 19s
SHA2: Use new version where possible Copyright check #239: Pull request #224 synchronize by marsella
February 3, 2025 18:39 15s 122-replace-sha2
122-replace-sha2
February 3, 2025 18:39 15s
SHA2: Use new version where possible Cryptol typecheck #714: Pull request #224 synchronize by marsella
February 3, 2025 18:39 1m 18s 122-replace-sha2
122-replace-sha2
February 3, 2025 18:39 1m 18s
Speck Improvments Cryptol typecheck #713: Pull request #231 synchronize by j-christensen1
February 3, 2025 15:58 1m 23s speck
speck
February 3, 2025 15:58 1m 23s
Speck Improvments Copyright check #238: Pull request #231 synchronize by j-christensen1
February 3, 2025 15:58 13s speck
speck
February 3, 2025 15:58 13s
Speck Improvments Cryptol typecheck #712: Pull request #231 synchronize by j-christensen1
February 3, 2025 15:56 1m 23s speck
speck
February 3, 2025 15:56 1m 23s
Speck Improvments Copyright check #237: Pull request #231 synchronize by j-christensen1
February 3, 2025 15:56 13s speck
speck
February 3, 2025 15:56 13s
Optimize ML-DSA Implementation Copyright check #236: Pull request #232 synchronize by mariosge
January 31, 2025 23:18 11s 205-ml-dsa-optimize-implementation
205-ml-dsa-optimize-implementation
January 31, 2025 23:18 11s
Optimize ML-DSA Implementation Cryptol typecheck #711: Pull request #232 synchronize by mariosge
January 31, 2025 23:18 1m 20s 205-ml-dsa-optimize-implementation
205-ml-dsa-optimize-implementation
January 31, 2025 23:18 1m 20s