Skip to content

Actions: cryspen/libcrux

Dismiss old reviews when re-requested

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
204 workflow runs
204 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C extraction for ML-DSA
Dismiss old reviews when re-requested #204: Pull request #710 review_requested by franziskuskiefer
December 11, 2024 10:00 9m 18s franziskus/mldsa-c2
December 11, 2024 10:00 9m 18s
Document verification status
Dismiss old reviews when re-requested #203: Pull request #711 review_requested by franziskuskiefer
December 11, 2024 08:59 11s dev-verification-status
December 11, 2024 08:59 11s
First changes for ML-DSA C extraction
Dismiss old reviews when re-requested #202: Pull request #707 review_requested by franziskuskiefer
December 9, 2024 18:02 8m 42s franziskus/mldsa-c1
December 9, 2024 18:02 8m 42s
C extraction for ML-DSA
Dismiss old reviews when re-requested #201: Pull request #710 review_requested by franziskuskiefer
December 9, 2024 10:27 10s franziskus/mldsa-c2
December 9, 2024 10:27 10s
Update bindgen requirement from 0.69 to 0.71
Dismiss old reviews when re-requested #200: Pull request #709 review_requested by dependabot bot
December 9, 2024 02:37 12s dependabot/cargo/bindgen-0.71
December 9, 2024 02:37 12s
fixing code to address review comments
Dismiss old reviews when re-requested #199: Pull request #705 review_requested by karthikbhargavan
December 4, 2024 15:15 16s dev-review-comments
December 4, 2024 15:15 16s
First changes for ML-DSA C extraction
Dismiss old reviews when re-requested #197: Pull request #707 review_requested by franziskuskiefer
December 3, 2024 20:07 14s franziskus/mldsa-c1
December 3, 2024 20:07 14s
[ML-DSA] Inline hash_functions.rs
Dismiss old reviews when re-requested #196: Pull request #701 review_requested by franziskuskiefer
November 30, 2024 16:25 15s franziskus/mldsa-hash-inline
November 30, 2024 16:25 15s
feat(ci/hax): allow manual workflows to specify hax version
Dismiss old reviews when re-requested #195: Pull request #700 review_requested by W95Psp
November 28, 2024 12:11 12s ci-custom-hax-branches
November 28, 2024 12:11 12s
Temporary fixes for performance/build times/stack usage for ML-DSA AVX2
Dismiss old reviews when re-requested #194: Pull request #699 review_requested by jschneider-bensch
November 28, 2024 09:57 12s jonas/ml-dsa-crutch
November 28, 2024 09:57 12s
Remove Cargo.lock
Dismiss old reviews when re-requested #193: Pull request #691 review_requested by W95Psp
November 26, 2024 15:47 18s Nadrieril:remove-cargo-lock
November 26, 2024 15:47 18s
Make most crates no_std
Dismiss old reviews when re-requested #192: Pull request #697 review_requested by keks
November 26, 2024 09:35 12s keks/no-std-1
November 26, 2024 09:35 12s
Make most crates no_std
Dismiss old reviews when re-requested #191: Pull request #697 review_requested by keks
November 25, 2024 14:53 18m 57s keks/no-std-1
November 25, 2024 14:53 18m 57s
Make most crates no_std
Dismiss old reviews when re-requested #190: Pull request #697 review_requested by keks
November 25, 2024 14:42 14s keks/no-std-1
November 25, 2024 14:42 14s
Export fixed-size versions of HPKE
Dismiss old reviews when re-requested #189: Pull request #690 review_requested by keks
November 25, 2024 14:05 12s keks/hpke-fixed-size-419
November 25, 2024 14:05 12s
Export fixed-size versions of HPKE
Dismiss old reviews when re-requested #188: Pull request #690 review_requested by keks
November 25, 2024 13:50 12m 18s keks/hpke-fixed-size-419
November 25, 2024 13:50 12m 18s
Update boring flow
Dismiss old reviews when re-requested #187: Pull request #681 review_requested by jschneider-bensch
November 22, 2024 16:51 1m 7s franziskus/cg-update
November 22, 2024 16:51 1m 7s
Swap order of hybrid KEM components for X25519MlKem768
Dismiss old reviews when re-requested #186: Pull request #694 review_requested by jschneider-bensch
November 21, 2024 18:06 8m 37s jonas/mlkem-hybrid-swap
November 21, 2024 18:06 8m 37s
Swap order of hybrid KEM components for X25519MlKem768
Dismiss old reviews when re-requested #185: Pull request #694 review_requested by jschneider-bensch
November 21, 2024 12:52 14s jonas/mlkem-hybrid-swap
November 21, 2024 12:52 14s
code owners
Dismiss old reviews when re-requested #184: Pull request #693 review_requested by franziskuskiefer
November 20, 2024 09:22 9m 3s franziskus/code-owners
November 20, 2024 09:22 9m 3s
Fix ML-KEM benchmarks
Dismiss old reviews when re-requested #183: Pull request #692 review_requested by jschneider-bensch
November 19, 2024 11:18 9m 8s jonas/mlkem-bench-fix
November 19, 2024 11:18 9m 8s
Export fixed-size versions of HPKE
Dismiss old reviews when re-requested #182: Pull request #690 review_requested by keks
November 18, 2024 09:47 7m 4s keks/hpke-fixed-size-419
November 18, 2024 09:47 7m 4s
Delete Cargo.lock
Dismiss old reviews when re-requested #181: Pull request #689 review_requested by franziskuskiefer
November 18, 2024 06:59 15s franziskus/drop-cargo-lock
November 18, 2024 06:59 15s
ML-KEM Report
Dismiss old reviews when re-requested #180: Pull request #682 review_requested by franziskuskiefer
November 17, 2024 09:10 15s franziskus/mlkem-report
November 17, 2024 09:10 15s