Skip to content

Actions: cryspen/libcrux

ML-DSA

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,395 workflow runs
1,395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "fix(nix ci): regression in nix-installer-action"
ML-DSA #1409: Pull request #753 opened by W95Psp
January 15, 2025 16:36 10m 45s revert-748-fix-hax-gha
January 15, 2025 16:36 10m 45s
Merge pull request #751 from cryspen/franziskus/hybrid-mlkem-hotfix
ML-DSA #1408: Commit 447dbf1 pushed by franziskuskiefer
January 15, 2025 14:59 10m 11s main
January 15, 2025 14:59 10m 11s
January 15, 2025 11:12 22m 14s
Remove double return workarounds.
ML-DSA #1405: Pull request #750 synchronize by maximebuyse
January 15, 2025 10:36 16m 12s remove-double-return-workarounds
January 15, 2025 10:36 16m 12s
Remove double return workarounds.
ML-DSA #1404: Pull request #750 synchronize by franziskuskiefer
January 15, 2025 09:38 33m 18s remove-double-return-workarounds
January 15, 2025 09:38 33m 18s
Merge pull request #748 from cryspen/fix-hax-gha
ML-DSA #1403: Commit 195b6c6 pushed by franziskuskiefer
January 15, 2025 09:38 11m 4s main
January 15, 2025 09:38 11m 4s
Remove double return workarounds.
ML-DSA #1402: Pull request #750 synchronize by maximebuyse
January 15, 2025 09:16 16m 53s remove-double-return-workarounds
January 15, 2025 09:16 16m 53s
Remove double return workarounds.
ML-DSA #1401: Pull request #750 synchronize by maximebuyse
January 15, 2025 09:04 12m 51s remove-double-return-workarounds
January 15, 2025 09:04 12m 51s
Remove double return workarounds.
ML-DSA #1400: Pull request #750 opened by maximebuyse
January 15, 2025 09:01 2m 40s remove-double-return-workarounds
January 15, 2025 09:01 2m 40s
fix(nix ci): regression in nix-installer-action
ML-DSA #1399: Pull request #748 opened by W95Psp
January 15, 2025 07:50 19m 18s fix-hax-gha
January 15, 2025 07:50 19m 18s
Merge pull request #738 from cryspen/franziskus/mldsa-sig-deserialize
ML-DSA #1398: Commit 81a94ba pushed by github-merge-queue bot
January 14, 2025 18:56 20m 1s main
January 14, 2025 18:56 20m 1s
ML-DSA
ML-DSA #1397: Merge group checks requested
January 14, 2025 18:20 14m 36s
January 14, 2025 18:20 14m 36s
Merge pull request #739 from cryspen/jonas/kyber-redundancy
ML-DSA #1396: Commit 506666a pushed by github-merge-queue bot
January 14, 2025 16:31 10m 59s main
January 14, 2025 16:31 10m 59s
ML-DSA
ML-DSA #1395: Merge group checks requested
January 14, 2025 15:27 38m 43s
January 14, 2025 15:27 38m 43s
ML-DSA
ML-DSA #1394: Merge group checks requested
January 14, 2025 14:32 29m 8s
January 14, 2025 14:32 29m 8s
ML-DSA
ML-DSA #1393: Merge group checks requested
January 14, 2025 14:25 21m 12s
January 14, 2025 14:25 21m 12s
Merge pull request #736 from cryspen/franziskus/mldsa-pqclean
ML-DSA #1392: Commit 88fe3ab pushed by github-merge-queue bot
January 14, 2025 14:15 17m 20s main
January 14, 2025 14:15 17m 20s
ML-DSA
ML-DSA #1391: Merge group checks requested
January 14, 2025 13:40 16m 8s
January 14, 2025 13:40 16m 8s
Merge pull request #737 from cryspen/jonas/no-std
ML-DSA #1390: Commit 91eec18 pushed by github-merge-queue bot
January 14, 2025 11:53 10m 51s main
January 14, 2025 11:53 10m 51s
ML-DSA
ML-DSA #1389: Merge group checks requested
January 14, 2025 10:58 41m 4s
January 14, 2025 10:58 41m 4s
ML-DSA
ML-DSA #1388: Merge group checks requested
January 14, 2025 10:45 35m 29s
January 14, 2025 10:45 35m 29s
ML-DSA
ML-DSA #1387: Merge group checks requested
January 14, 2025 09:58 56m 48s
January 14, 2025 09:58 56m 48s
Remove redundant match arms
ML-DSA #1386: Pull request #739 synchronize by jschneider-bensch
January 14, 2025 09:07 1h 23m 48s jonas/kyber-redundancy
January 14, 2025 09:07 1h 23m 48s
ML-DSA
ML-DSA #1385: Merge group checks requested
January 14, 2025 09:00 1h 9m 24s
January 14, 2025 09:00 1h 9m 24s