Skip to content

Actions: cryspen/libcrux

Actions

hax

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hax.yml
1,716 workflow runs
1,716 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ML-DSA] AVX2 performance improvements in NTT hax #1680: Pull request #584 synchronize by jschneider-bensch
September 25, 2024 07:49 11m 15s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 25, 2024 07:49 11m 15s
hax hax #1679: Scheduled
September 25, 2024 00:52 7m 51s main
main
September 25, 2024 00:52 7m 51s
Merge pull request #559 from cryspen/dev-constant-time hax #1678: Commit bc88361 pushed by karthikbhargavan
September 24, 2024 22:13 11m 57s dev
dev
September 24, 2024 22:13 11m 57s
Port proofs for constant_time_ops.rs hax #1677: Pull request #559 synchronize by karthikbhargavan
September 24, 2024 21:22 15m 18s dev-constant-time
dev-constant-time
September 24, 2024 21:22 15m 18s
Port proofs for constant_time_ops.rs hax #1676: Pull request #559 synchronize by karthikbhargavan
September 24, 2024 21:10 13m 3s dev-constant-time
dev-constant-time
September 24, 2024 21:10 13m 3s
Port proofs for constant_time_ops.rs hax #1675: Pull request #559 synchronize by mamonet
September 24, 2024 20:48 18m 51s dev-constant-time
dev-constant-time
September 24, 2024 20:48 18m 51s
Port proofs for constant_time_ops.rs hax #1674: Pull request #559 synchronize by mamonet
September 24, 2024 20:46 2m 24s dev-constant-time
dev-constant-time
September 24, 2024 20:46 2m 24s
Merge pull request #587 from cryspen/dev-serialize hax #1673: Commit 04a7e4f pushed by karthikbhargavan
September 24, 2024 16:28 11m 41s dev
dev
September 24, 2024 16:28 11m 41s
Add conditions for generic compress and serialize functions hax #1672: Pull request #587 synchronize by karthikbhargavan
September 24, 2024 14:53 17m 2s dev-serialize
dev-serialize
September 24, 2024 14:53 17m 2s
[ML-DSA] AVX2 performance improvements in NTT hax #1671: Pull request #584 synchronize by jschneider-bensch
September 24, 2024 14:48 13m 15s goutam/ml-dsa-improve-avx2-ntt
goutam/ml-dsa-improve-avx2-ntt
September 24, 2024 14:48 13m 15s
Add conditions for generic compress and serialize functions hax #1670: Pull request #587 synchronize by karthikbhargavan
September 24, 2024 14:34 12m 12s dev-serialize
dev-serialize
September 24, 2024 14:34 12m 12s
Bump bindgen from 0.69.4 to 0.70.1 hax #1669: Pull request #534 synchronize by dependabot bot
September 24, 2024 11:15 43m 41s dependabot/cargo/bindgen-0.70.1
dependabot/cargo/bindgen-0.70.1
September 24, 2024 11:15 43m 41s
fixup spec depenencies after version bump hax #1668: Commit 9cc8d3a pushed by franziskuskiefer
September 24, 2024 11:11 32m 0s main
main
September 24, 2024 11:11 32m 0s
Bump cc from 1.1.15 to 1.1.21 hax #1667: Pull request #596 synchronize by dependabot bot
September 24, 2024 11:09 32m 58s dependabot/cargo/cc-1.1.21
dependabot/cargo/cc-1.1.21
September 24, 2024 11:09 32m 58s
Bump clap from 4.5.16 to 4.5.18 hax #1666: Pull request #595 synchronize by dependabot bot
September 24, 2024 11:09 13m 47s dependabot/cargo/clap-4.5.18
dependabot/cargo/clap-4.5.18
September 24, 2024 11:09 13m 47s
Bump bindgen from 0.69.4 to 0.70.1 hax #1665: 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 hax #1664: Commit ef56697 pushed by franziskuskiefer
September 24, 2024 11:02 7m 40s main
main
September 24, 2024 11:02 7m 40s
Add conditions for generic compress and serialize functions hax #1663: Pull request #587 synchronize by karthikbhargavan
September 24, 2024 09:36 12m 0s dev-serialize
dev-serialize
September 24, 2024 09:36 12m 0s
[ML-KEM] Merge verified code back to main hax #1662: Pull request #598 synchronize by karthikbhargavan
September 24, 2024 08:15 22m 4s dev
dev
September 24, 2024 08:15 22m 4s
Merge branch 'main' into dev hax #1661: Commit 878e250 pushed by karthikbhargavan
September 24, 2024 08:15 15m 22s dev
dev
September 24, 2024 08:15 15m 22s
[ML-KEM] Merge verified code back to main hax #1660: Pull request #598 opened by karthikbhargavan
September 24, 2024 08:13 2m 49s dev
dev
September 24, 2024 08:13 2m 49s
hax hax #1659: Scheduled
September 24, 2024 00:52 8m 24s main
main
September 24, 2024 00:52 8m 24s
Merge pull request #593 from cryspen/ml-kem-merge-main hax #1658: Commit 4a21ab1 pushed by karthikbhargavan
September 23, 2024 20:28 15m 5s dev
dev
September 23, 2024 20:28 15m 5s
Merging main into dev hax #1657: Pull request #593 synchronize by karthikbhargavan
September 23, 2024 19:41 13m 58s ml-kem-merge-main
ml-kem-merge-main
September 23, 2024 19:41 13m 58s
Merging main into dev hax #1656: Pull request #593 synchronize by karthikbhargavan
September 23, 2024 18:29 12m 29s ml-kem-merge-main
ml-kem-merge-main
September 23, 2024 18:29 12m 29s