Skip to content

Actions: GaloisInc/cryptol-specs

Actions

Copyright check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright_check.yml
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Delete broken 1.0 version of SphincsPlus. Copyright check #125: Pull request #167 opened by mccleeary-galois
October 31, 2024 19:18 12s delete-1.0-sphincs
delete-1.0-sphincs
October 31, 2024 19:18 12s
ML-KEM: Try to clean up the NTT implementations Copyright check #124: Pull request #156 synchronize by marsella
October 31, 2024 16:58 15s 147-ntt
147-ntt
October 31, 2024 16:58 15s
ML-KEM: Try to clean up the NTT implementations Copyright check #123: Pull request #156 synchronize by marsella
October 31, 2024 15:32 13s 147-ntt
147-ntt
October 31, 2024 15:32 13s
ML-KEM: Bring encoding functions in line with the spec Copyright check #122: Pull request #160 synchronize by marsella
October 31, 2024 14:44 16s 144-encoding
144-encoding
October 31, 2024 14:44 16s
ML-KEM: Bring encoding functions in line with the spec Copyright check #121: Pull request #160 synchronize by marsella
October 29, 2024 19:46 13s 144-encoding
144-encoding
October 29, 2024 19:46 13s
ML-KEM: Improve compression and byte conversion functions Copyright check #120: Pull request #161 opened by marsella
October 23, 2024 17:40 24s 144-compress
144-compress
October 23, 2024 17:40 24s
Fix broken README links. Copyright check #119: Pull request #159 synchronize by marsella
October 22, 2024 17:21 13s 120-readme-fixes
120-readme-fixes
October 22, 2024 17:21 13s
ML-KEM: Bring encoding functions in line with the spec Copyright check #118: Pull request #160 synchronize by marsella
October 22, 2024 17:03 17s 144-encoding
144-encoding
October 22, 2024 17:03 17s
ML-KEM: Bring encoding functions in line with the spec Copyright check #117: Pull request #160 synchronize by marsella
October 21, 2024 20:35 13s 144-encoding
144-encoding
October 21, 2024 20:35 13s
ML-KEM: Bring encoding functions in line with the spec Copyright check #116: Pull request #160 synchronize by marsella
October 21, 2024 20:26 12s 144-encoding
144-encoding
October 21, 2024 20:26 12s
ML-KEM: Bring encoding functions in line with the spec Copyright check #115: Pull request #160 opened by marsella
October 21, 2024 19:08 13s 144-encoding
144-encoding
October 21, 2024 19:08 13s
Fix broken README links. Copyright check #114: Pull request #159 opened by nlschimanski
October 18, 2024 20:15 1m 12s 120-readme-fixes
120-readme-fixes
October 18, 2024 20:15 1m 12s
MLKEM: Bring sampling + crypto functions up to gold standard Copyright check #113: Pull request #155 synchronize by marsella
October 18, 2024 14:48 15s 146-sampling
146-sampling
October 18, 2024 14:48 15s
SHA3: Add Keccak-p function Copyright check #112: Pull request #158 opened by marsella
October 17, 2024 20:47 13s 139-keccakp
139-keccakp
October 17, 2024 20:47 13s
ML-KEM: Try to clean up the NTT implementations Copyright check #111: Pull request #156 opened by marsella
October 16, 2024 18:40 12s 147-ntt
147-ntt
October 16, 2024 18:40 12s
simplify state-to-bit-string conversions in SHA3 Copyright check #110: Pull request #153 synchronize by marsella
October 16, 2024 16:34 13s 138-simplify-flatten
138-simplify-flatten
October 16, 2024 16:34 13s
Separate + document K-PKE component scheme Copyright check #109: Pull request #154 synchronize by marsella
October 15, 2024 17:25 15s 145-kpke
145-kpke
October 15, 2024 17:25 15s
MLKEM: Bring sampling + crypto functions up to gold standard Copyright check #108: Pull request #155 synchronize by marsella
October 15, 2024 15:15 15s 146-sampling
146-sampling
October 15, 2024 15:15 15s
Separate + document K-PKE component scheme Copyright check #107: Pull request #154 synchronize by marsella
October 15, 2024 14:35 19s 145-kpke
145-kpke
October 15, 2024 14:35 19s
MLKEM: Bring sampling + crypto functions up to gold standard Copyright check #106: Pull request #155 opened by marsella
October 11, 2024 20:23 13s 146-sampling
146-sampling
October 11, 2024 20:23 13s
Separate + document K-PKE component scheme Copyright check #105: Pull request #154 opened by marsella
October 10, 2024 19:07 12s 145-kpke
145-kpke
October 10, 2024 19:07 12s
SHA3: add new API that handles bit ordering conversions Copyright check #104: Pull request #142 synchronize by marsella
October 10, 2024 14:53 13s 138-endian-conversions
138-endian-conversions
October 10, 2024 14:53 13s
simplify state-to-bit-string conversions in SHA3 Copyright check #103: Pull request #153 opened by marsella
October 9, 2024 19:55 18s 138-simplify-flatten
138-simplify-flatten
October 9, 2024 19:55 18s
Update README.md - Fix Links Copyright check #102: Pull request #151 opened by smithdtyler
October 8, 2024 16:02 19s smithdtyler:patch-1
smithdtyler:patch-1
October 8, 2024 16:02 19s
Add documentation to ML-KEM Copyright check #101: Pull request #143 synchronize by marsella
October 7, 2024 18:19 12s 135-update-mlkem
135-update-mlkem
October 7, 2024 18:19 12s