Skip to content

Actions: cryspen/libcrux

Actions

KEM

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kem.yml
903 workflow runs
903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merging main into dev KEM #815: Pull request #593 synchronize by karthikbhargavan
September 23, 2024 09:17 10m 24s ml-kem-merge-main
ml-kem-merge-main
September 23, 2024 09:17 10m 24s
Merging main into dev KEM #814: Pull request #593 synchronize by franziskuskiefer
September 23, 2024 08:56 6m 15s ml-kem-merge-main
ml-kem-merge-main
September 23, 2024 08:56 6m 15s
Add conditions for generic compress and serialize functions KEM #813: Pull request #587 synchronize by mamonet
September 23, 2024 07:41 6m 46s dev-serialize
dev-serialize
September 23, 2024 07:41 6m 46s
Add conditions for generic compress and serialize functions KEM #812: Pull request #587 synchronize by mamonet
September 23, 2024 07:34 5m 10s dev-serialize
dev-serialize
September 23, 2024 07:34 5m 10s
Add conditions for generic compress and serialize functions KEM #811: Pull request #587 synchronize by mamonet
September 23, 2024 06:39 8m 0s dev-serialize
dev-serialize
September 23, 2024 06:39 8m 0s
Add conditions for generic compress and serialize functions KEM #810: Pull request #587 synchronize by mamonet
September 23, 2024 06:33 6m 38s dev-serialize
dev-serialize
September 23, 2024 06:33 6m 38s
Bump hax-lib-macros from 503591c to 288f77f KEM #809: Pull request #597 opened by dependabot bot
September 23, 2024 02:27 36m 18s dependabot/cargo/hax-lib-macros-288f77f
dependabot/cargo/hax-lib-macros-288f77f
September 23, 2024 02:27 36m 18s
Bump cc from 1.1.15 to 1.1.21 KEM #808: Pull request #596 opened by dependabot bot
September 23, 2024 02:27 23m 38s dependabot/cargo/cc-1.1.21
dependabot/cargo/cc-1.1.21
September 23, 2024 02:27 23m 38s
Bump clap from 4.5.16 to 4.5.18 KEM #807: Pull request #595 opened by dependabot bot
September 23, 2024 02:27 5m 30s dependabot/cargo/clap-4.5.18
dependabot/cargo/clap-4.5.18
September 23, 2024 02:27 5m 30s
Add conditions for generic compress and serialize functions KEM #806: Pull request #587 synchronize by mamonet
September 22, 2024 20:53 5m 43s dev-serialize
dev-serialize
September 22, 2024 20:53 5m 43s
Starting proofs for ML-DSA Arithmetic KEM #805: Pull request #594 opened by karthikbhargavan
September 22, 2024 16:00 6m 9s ml-dsa-arithmetic
ml-dsa-arithmetic
September 22, 2024 16:00 6m 9s