Skip to content

Actions: cryspen/libcrux

Actions

hax

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hax.yml
2,238 workflow runs
2,238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert "fix(nix ci): regression in nix-installer-action" hax #2315: Pull request #753 opened by W95Psp
January 15, 2025 16:36 29m 39s revert-748-fix-hax-gha
revert-748-fix-hax-gha
January 15, 2025 16:36 29m 39s
Merge pull request #751 from cryspen/franziskus/hybrid-mlkem-hotfix hax #2314: Commit 447dbf1 pushed by franziskuskiefer
January 15, 2025 14:59 33m 35s main
main
January 15, 2025 14:59 33m 35s
kem: fix decoding of hybrid private keys hax #2313: Pull request #751 opened by franziskuskiefer
January 15, 2025 14:23 34m 25s franziskus/hybrid-mlkem-hotfix
franziskus/hybrid-mlkem-hotfix
January 15, 2025 14:23 34m 25s
Merge pull request #750 from cryspen/remove-double-return-workarounds hax #2312: Commit 4f470c8 pushed by franziskuskiefer
January 15, 2025 11:12 25m 29s main
main
January 15, 2025 11:12 25m 29s
Remove double return workarounds. hax #2311: Pull request #750 synchronize by maximebuyse
January 15, 2025 10:36 23m 44s remove-double-return-workarounds
remove-double-return-workarounds
January 15, 2025 10:36 23m 44s
Remove double return workarounds. hax #2310: Pull request #750 synchronize by franziskuskiefer
January 15, 2025 09:38 34m 57s remove-double-return-workarounds
remove-double-return-workarounds
January 15, 2025 09:38 34m 57s
Merge pull request #748 from cryspen/fix-hax-gha hax #2309: Commit 195b6c6 pushed by franziskuskiefer
January 15, 2025 09:38 34m 51s main
main
January 15, 2025 09:38 34m 51s
Remove double return workarounds. hax #2308: Pull request #750 synchronize by maximebuyse
January 15, 2025 09:16 2m 47s remove-double-return-workarounds
remove-double-return-workarounds
January 15, 2025 09:16 2m 47s
Remove double return workarounds. hax #2307: Pull request #750 synchronize by maximebuyse
January 15, 2025 09:04 1m 33s remove-double-return-workarounds
remove-double-return-workarounds
January 15, 2025 09:04 1m 33s
Remove double return workarounds. hax #2306: Pull request #750 opened by maximebuyse
January 15, 2025 09:01 1m 33s remove-double-return-workarounds
remove-double-return-workarounds
January 15, 2025 09:01 1m 33s
fix(nix ci): regression in nix-installer-action hax #2305: Pull request #748 opened by W95Psp
January 15, 2025 07:50 25m 38s fix-hax-gha
fix-hax-gha
January 15, 2025 07:50 25m 38s
hax hax #2304: Scheduled
January 15, 2025 00:52 1m 34s main
main
January 15, 2025 00:52 1m 34s
Merge pull request #738 from cryspen/franziskus/mldsa-sig-deserialize hax #2303: Commit 81a94ba pushed by github-merge-queue bot
January 14, 2025 18:56 32m 27s main
main
January 14, 2025 18:56 32m 27s
hax hax #2302: Merge group checks requested
January 14, 2025 18:20 24m 27s
January 14, 2025 18:20 24m 27s
Merge pull request #739 from cryspen/jonas/kyber-redundancy hax #2301: Commit 506666a pushed by github-merge-queue bot
January 14, 2025 16:31 33m 56s main
main
January 14, 2025 16:31 33m 56s
hax hax #2300: Merge group checks requested
January 14, 2025 15:27 36m 43s
January 14, 2025 15:27 36m 43s
hax hax #2299: Manually run by W95Psp
January 14, 2025 15:19 1h 12m 26s main
main
January 14, 2025 15:19 1h 12m 26s
hax hax #2298: Merge group checks requested
January 14, 2025 14:32 54m 25s
January 14, 2025 14:32 54m 25s
hax hax #2297: Merge group checks requested
January 14, 2025 14:25 39m 3s
January 14, 2025 14:25 39m 3s
Merge pull request #736 from cryspen/franziskus/mldsa-pqclean hax #2296: Commit 88fe3ab pushed by github-merge-queue bot
January 14, 2025 14:15 34m 19s main
main
January 14, 2025 14:15 34m 19s
hax hax #2295: Merge group checks requested
January 14, 2025 13:40 24m 23s
January 14, 2025 13:40 24m 23s
Merge pull request #737 from cryspen/jonas/no-std hax #2294: Commit 91eec18 pushed by github-merge-queue bot
January 14, 2025 11:53 24m 22s main
main
January 14, 2025 11:53 24m 22s
hax hax #2293: Merge group checks requested
January 14, 2025 10:58 35m 54s
January 14, 2025 10:58 35m 54s
hax hax #2292: Merge group checks requested
January 14, 2025 10:45 30m 40s
January 14, 2025 10:45 30m 40s
hax hax #2291: Merge group checks requested
January 14, 2025 09:58 46m 39s
January 14, 2025 09:58 46m 39s