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

hax hax #1730: Merge group checks requested
October 1, 2024 14:37 7m 58s
October 1, 2024 14:37 7m 58s
[ML-DSA] Add domain separation for key generation hax #1729: Pull request #609 synchronize by jschneider-bensch
October 1, 2024 14:01 23m 17s jonas/mldsa-keygen-domain-separation
jonas/mldsa-keygen-domain-separation
October 1, 2024 14:01 23m 17s
Merge pull request #608 from cryspen/jonas/pre-hashed hax #1728: Commit fd43045 pushed by github-merge-queue bot
October 1, 2024 13:59 10m 41s main
main
October 1, 2024 13:59 10m 41s
hax hax #1727: Merge group checks requested
October 1, 2024 13:34 11m 22s
October 1, 2024 13:34 11m 22s
[ML-DSA] Add pre-hashed API & domain separation hax #1726: Pull request #608 synchronize by jschneider-bensch
October 1, 2024 13:09 9m 7s jonas/pre-hashed
jonas/pre-hashed
October 1, 2024 13:09 9m 7s
Add spec for Ind_cpa unpacked functions hax #1725: Pull request #612 opened by mamonet
October 1, 2024 11:00 12m 9s ind-cpa-proofs
ind-cpa-proofs
October 1, 2024 11:00 12m 9s
[ML-DSA] Add pre-hashed API & domain separation hax #1724: Pull request #608 synchronize by jschneider-bensch
October 1, 2024 09:53 8m 20s jonas/pre-hashed
jonas/pre-hashed
October 1, 2024 09:53 8m 20s
[ML-DSA] Add pre-hashed API & domain separation hax #1723: Pull request #608 synchronize by jschneider-bensch
October 1, 2024 09:41 7m 50s jonas/pre-hashed
jonas/pre-hashed
October 1, 2024 09:41 7m 50s
Add a dev shell hax #1722: Pull request #610 opened by Nadrieril
October 1, 2024 09:08 22s Nadrieril:dev-shell
Nadrieril:dev-shell
October 1, 2024 09:08 22s
[ML-DSA] Add pre-hashed API & domain separation hax #1721: Pull request #608 synchronize by jschneider-bensch
October 1, 2024 06:52 7m 53s jonas/pre-hashed
jonas/pre-hashed
October 1, 2024 06:52 7m 53s
hax hax #1720: Scheduled
October 1, 2024 00:57 7m 43s main
main
October 1, 2024 00:57 7m 43s
[ML-DSA] Add pre-hashed API & domain separation hax #1719: Pull request #608 synchronize by jschneider-bensch
September 30, 2024 18:58 8m 10s jonas/pre-hashed
jonas/pre-hashed
September 30, 2024 18:58 8m 10s
[ML-DSA] Add pre-hashed API & domain separation hax #1718: Pull request #608 synchronize by jschneider-bensch
September 30, 2024 18:43 7m 50s jonas/pre-hashed
jonas/pre-hashed
September 30, 2024 18:43 7m 50s
[ML-DSA] Add pre-hashed API & domain separation hax #1717: Pull request #608 synchronize by jschneider-bensch
September 30, 2024 18:42 1m 35s jonas/pre-hashed
jonas/pre-hashed
September 30, 2024 18:42 1m 35s
[ML-DSA] Add pre-hashed API & domain separation hax #1716: Pull request #608 opened by jschneider-bensch
September 30, 2024 18:41 1m 9s jonas/pre-hashed
jonas/pre-hashed
September 30, 2024 18:41 1m 9s
Merge pull request #600 from cryspen/jonas/fips-204-sample-in-ball hax #1715: Commit f8a7d13 pushed by github-merge-queue bot
September 30, 2024 09:36 7m 57s main
main
September 30, 2024 09:36 7m 57s
hax hax #1714: Merge group checks requested
September 30, 2024 09:12 8m 9s
September 30, 2024 09:12 8m 9s
[ML-DSA] Use all of commitment hash to sample verifiers challenge hax #1713: Pull request #600 synchronize by jschneider-bensch
September 30, 2024 08:28 9m 46s jonas/fips-204-sample-in-ball
jonas/fips-204-sample-in-ball
September 30, 2024 08:28 9m 46s
[ML-DSA] Use all of commitment hash to sample verifiers challenge hax #1712: Pull request #600 synchronize by jschneider-bensch
September 30, 2024 08:24 4m 25s jonas/fips-204-sample-in-ball
jonas/fips-204-sample-in-ball
September 30, 2024 08:24 4m 25s
[ML-DSA] Use all of commitment hash to sample verifiers challenge hax #1711: Pull request #600 synchronize by jschneider-bensch
September 30, 2024 08:14 8m 30s jonas/fips-204-sample-in-ball
jonas/fips-204-sample-in-ball
September 30, 2024 08:14 8m 30s
Bump cc from 1.1.21 to 1.1.22 hax #1710: Pull request #604 opened by dependabot bot
September 30, 2024 02:59 23m 38s dependabot/cargo/cc-1.1.22
dependabot/cargo/cc-1.1.22
September 30, 2024 02:59 23m 38s
Bump hax-lib-macros from c2093b4 to 29d28fc hax #1709: Pull request #603 opened by dependabot bot
September 30, 2024 02:59 23m 21s dependabot/cargo/hax-lib-macros-29d28fc
dependabot/cargo/hax-lib-macros-29d28fc
September 30, 2024 02:59 23m 21s
Bump libc from 0.2.158 to 0.2.159 hax #1708: Pull request #602 opened by dependabot bot
September 30, 2024 02:59 7m 43s dependabot/cargo/libc-0.2.159
dependabot/cargo/libc-0.2.159
September 30, 2024 02:59 7m 43s
hax hax #1707: Scheduled
September 30, 2024 00:54 7m 45s main
main
September 30, 2024 00:54 7m 45s
Merge pull request #576 from cryspen/ntt-panic-free hax #1706: Commit f0bd4d2 pushed by karthikbhargavan
September 29, 2024 23:11 11m 55s dev
dev
September 29, 2024 23:11 11m 55s