Skip to content

Actions: cryspen/libcrux

Actions

KEM

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kem.yml
889 workflow runs
889 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Port proofs for constant_time_ops.rs KEM #840: Pull request #559 synchronize by karthikbhargavan
September 24, 2024 21:22 6m 18s dev-constant-time
dev-constant-time
September 24, 2024 21:22 6m 18s
Port proofs for constant_time_ops.rs KEM #839: Pull request #559 synchronize by karthikbhargavan
September 24, 2024 21:10 6m 17s dev-constant-time
dev-constant-time
September 24, 2024 21:10 6m 17s
Port proofs for constant_time_ops.rs KEM #838: Pull request #559 synchronize by mamonet
September 24, 2024 20:48 7m 6s dev-constant-time
dev-constant-time
September 24, 2024 20:48 7m 6s
Port proofs for constant_time_ops.rs KEM #837: Pull request #559 synchronize by mamonet
September 24, 2024 20:46 2m 7s dev-constant-time
dev-constant-time
September 24, 2024 20:46 2m 7s
Merge pull request #587 from cryspen/dev-serialize KEM #836: Commit 04a7e4f pushed by karthikbhargavan
September 24, 2024 16:28 17m 24s dev
dev
September 24, 2024 16:28 17m 24s
Add conditions for generic compress and serialize functions KEM #835: Pull request #587 synchronize by karthikbhargavan
September 24, 2024 14:53 18m 22s dev-serialize
dev-serialize
September 24, 2024 14:53 18m 22s
[ML-DSA] AVX2 performance improvements in NTT KEM #834: Pull request #584 synchronize by jschneider-bensch
September 24, 2024 14:48 9m 34s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 24, 2024 14:48 9m 34s
Add conditions for generic compress and serialize functions KEM #833: Pull request #587 synchronize by karthikbhargavan
September 24, 2024 14:34 7m 40s dev-serialize
dev-serialize
September 24, 2024 14:34 7m 40s
Bump bindgen from 0.69.4 to 0.70.1 KEM #832: Pull request #534 synchronize by dependabot bot
September 24, 2024 11:15 51m 13s dependabot/cargo/bindgen-0.70.1
dependabot/cargo/bindgen-0.70.1
September 24, 2024 11:15 51m 13s
fixup spec depenencies after version bump KEM #831: Commit 9cc8d3a pushed by franziskuskiefer
September 24, 2024 11:11 33m 36s main
main
September 24, 2024 11:11 33m 36s
Bump cc from 1.1.15 to 1.1.21 KEM #830: Pull request #596 synchronize by dependabot bot
September 24, 2024 11:09 30m 0s dependabot/cargo/cc-1.1.21
dependabot/cargo/cc-1.1.21
September 24, 2024 11:09 30m 0s
Bump clap from 4.5.16 to 4.5.18 KEM #829: Pull request #595 synchronize by dependabot bot
September 24, 2024 11:09 13m 31s dependabot/cargo/clap-4.5.18
dependabot/cargo/clap-4.5.18
September 24, 2024 11:09 13m 31s
Bump bindgen from 0.69.4 to 0.70.1 KEM #828: Pull request #534 synchronize by dependabot bot
September 24, 2024 11:09 6m 38s dependabot/cargo/bindgen-0.70.1
dependabot/cargo/bindgen-0.70.1
September 24, 2024 11:09 6m 38s
chore: Release KEM #827: Commit ef56697 pushed by franziskuskiefer
September 24, 2024 11:02 8m 11s main
main
September 24, 2024 11:02 8m 11s
Add conditions for generic compress and serialize functions KEM #826: Pull request #587 synchronize by karthikbhargavan
September 24, 2024 09:36 9m 10s dev-serialize
dev-serialize
September 24, 2024 09:36 9m 10s
[ML-KEM] Merge verified code back to main KEM #825: Pull request #598 synchronize by karthikbhargavan
September 24, 2024 08:15 28m 4s dev
dev
September 24, 2024 08:15 28m 4s
Merge branch 'main' into dev KEM #824: Commit 878e250 pushed by karthikbhargavan
September 24, 2024 08:15 7m 52s dev
dev
September 24, 2024 08:15 7m 52s
[ML-KEM] Merge verified code back to main KEM #823: Pull request #598 opened by karthikbhargavan
September 24, 2024 08:13 3m 2s dev
dev
September 24, 2024 08:13 3m 2s
Merge pull request #593 from cryspen/ml-kem-merge-main KEM #822: Commit 4a21ab1 pushed by karthikbhargavan
September 23, 2024 20:28 5m 57s dev
dev
September 23, 2024 20:28 5m 57s
Merging main into dev KEM #821: Pull request #593 synchronize by karthikbhargavan
September 23, 2024 19:41 8m 53s ml-kem-merge-main
ml-kem-merge-main
September 23, 2024 19:41 8m 53s
Merging main into dev KEM #820: Pull request #593 synchronize by karthikbhargavan
September 23, 2024 18:29 6m 26s ml-kem-merge-main
ml-kem-merge-main
September 23, 2024 18:29 6m 26s
Port proofs for constant_time_ops.rs KEM #819: Pull request #559 synchronize by mamonet
September 23, 2024 13:35 7m 55s dev-constant-time
dev-constant-time
September 23, 2024 13:35 7m 55s
Merge pull request #592 from djmdjm/fuzzfix KEM #818: Commit 4788399 pushed by github-merge-queue bot
September 23, 2024 11:27 4m 51s main
main
September 23, 2024 11:27 4m 51s
KEM KEM #817: Merge group checks requested
September 23, 2024 11:03 8m 19s
September 23, 2024 11:03 8m 19s
Add conditions for generic compress and serialize functions KEM #816: Pull request #587 synchronize by mamonet
September 23, 2024 09:47 11m 13s dev-serialize
dev-serialize
September 23, 2024 09:47 11m 13s