Skip to content

Actions: GaloisInc/cryptol-specs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
747 workflow runs
747 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #228 from GaloisInc/update-readmes Cryptol typecheck #710: Commit c411ff1 pushed by marsella
January 31, 2025 15:20 1m 26s master
master
January 31, 2025 15:20 1m 26s
Merge pull request #235 from GaloisInc/234-to_affine-lambda-refactor Cryptol typecheck #709: Commit c06a404 pushed by RyanGlScott
January 31, 2025 14:34 1m 28s master
master
January 31, 2025 14:34 1m 28s
Speck Improvments Copyright check #235: Pull request #231 synchronize by j-christensen1
January 30, 2025 22:26 11s speck
speck
January 30, 2025 22:26 11s
Speck Improvments Cryptol typecheck #708: Pull request #231 synchronize by j-christensen1
January 30, 2025 22:26 1m 21s speck
speck
January 30, 2025 22:26 1m 21s
Speck Improvments Copyright check #234: Pull request #231 synchronize by j-christensen1
January 30, 2025 22:25 10s speck
speck
January 30, 2025 22:25 10s
Speck Improvments Cryptol typecheck #707: Pull request #231 synchronize by j-christensen1
January 30, 2025 22:25 1m 27s speck
speck
January 30, 2025 22:25 1m 27s
PFEC: Only compute to_affine's lambda when necessary Cryptol typecheck #706: Pull request #235 opened by RyanGlScott
January 30, 2025 21:43 1m 29s 234-to_affine-lambda-refactor
234-to_affine-lambda-refactor
January 30, 2025 21:43 1m 29s
PFEC: Only compute to_affine's lambda when necessary Copyright check #233: Pull request #235 opened by RyanGlScott
January 30, 2025 21:43 15s 234-to_affine-lambda-refactor
234-to_affine-lambda-refactor
January 30, 2025 21:43 15s
Speck Improvments Cryptol typecheck #705: Pull request #231 synchronize by j-christensen1
January 30, 2025 20:47 1m 33s speck
speck
January 30, 2025 20:47 1m 33s
Speck Improvments Copyright check #232: Pull request #231 synchronize by j-christensen1
January 30, 2025 20:47 12s speck
speck
January 30, 2025 20:47 12s
Simon: Improve Specification (#230) Cryptol typecheck #704: Commit 5cda1c7 pushed by j-christensen1
January 30, 2025 19:12 1m 22s master
master
January 30, 2025 19:12 1m 22s
Simon Specification Update Copyright check #231: Pull request #230 synchronize by j-christensen1
January 30, 2025 18:30 12s 229-simon
229-simon
January 30, 2025 18:30 12s
Simon Specification Update Cryptol typecheck #703: Pull request #230 synchronize by j-christensen1
January 30, 2025 18:30 1m 26s 229-simon
229-simon
January 30, 2025 18:30 1m 26s
Simon Specification Update Cryptol typecheck #702: Pull request #230 synchronize by j-christensen1
January 30, 2025 18:03 1m 22s 229-simon
229-simon
January 30, 2025 18:03 1m 22s
Simon Specification Update Copyright check #230: Pull request #230 synchronize by j-christensen1
January 30, 2025 18:03 13s 229-simon
229-simon
January 30, 2025 18:03 13s
Update readmes Cryptol typecheck #701: Pull request #228 synchronize by marsella
January 30, 2025 17:57 1m 25s update-readmes
update-readmes
January 30, 2025 17:57 1m 25s
Update readmes Copyright check #229: Pull request #228 synchronize by marsella
January 30, 2025 17:57 11s update-readmes
update-readmes
January 30, 2025 17:57 11s
Speck Improvments Copyright check #228: Pull request #231 synchronize by j-christensen1
January 30, 2025 16:01 13s speck
speck
January 30, 2025 16:01 13s
Speck Improvments Cryptol typecheck #700: Pull request #231 synchronize by j-christensen1
January 30, 2025 16:01 1m 21s speck
speck
January 30, 2025 16:01 1m 21s
Simon Specification Update Cryptol typecheck #699: Pull request #230 synchronize by j-christensen1
January 30, 2025 15:55 1m 22s 229-simon
229-simon
January 30, 2025 15:55 1m 22s
Simon Specification Update Copyright check #227: Pull request #230 synchronize by j-christensen1
January 30, 2025 15:55 15s 229-simon
229-simon
January 30, 2025 15:55 15s
Simon Specification Update Cryptol typecheck #698: Pull request #230 synchronize by j-christensen1
January 30, 2025 15:50 1m 26s 229-simon
229-simon
January 30, 2025 15:50 1m 26s
Simon Specification Update Copyright check #226: Pull request #230 synchronize by j-christensen1
January 30, 2025 15:50 10s 229-simon
229-simon
January 30, 2025 15:50 10s