Skip to content

Actions: cryspen/libcrux

Actions

hax

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hax.yml
1,960 workflow run results
1,960 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make most crates no_std hax #2037: Pull request #697 synchronize by keks
November 25, 2024 16:43 12m 19s keks/no-std-1
keks/no-std-1
November 25, 2024 16:43 12m 19s
Merge pull request #690 from cryspen/keks/hpke-fixed-size-419 hax #2036: Commit b33f153 pushed by github-merge-queue bot
November 25, 2024 16:15 11m 54s main
main
November 25, 2024 16:15 11m 54s
hax hax #2035: Merge group checks requested
November 25, 2024 15:38 12m 59s
November 25, 2024 15:38 12m 59s
Export fixed-size versions of HPKE hax #2034: Pull request #690 synchronize by jschneider-bensch
November 25, 2024 14:46 21m 53s keks/hpke-fixed-size-419
keks/hpke-fixed-size-419
November 25, 2024 14:46 21m 53s
Make most crates no_std hax #2033: Pull request #697 opened by keks
November 25, 2024 14:42 16m 3s keks/no-std-1
keks/no-std-1
November 25, 2024 14:42 16m 3s
Export fixed-size versions of HPKE hax #2032: Pull request #690 synchronize by keks
November 25, 2024 13:50 12m 13s keks/hpke-fixed-size-419
keks/hpke-fixed-size-419
November 25, 2024 13:50 12m 13s
hax hax #2031: Scheduled
November 25, 2024 00:56 11m 57s main
main
November 25, 2024 00:56 11m 57s
hax hax #2030: Scheduled
November 24, 2024 00:58 12m 36s main
main
November 24, 2024 00:58 12m 36s
hax hax #2029: Scheduled
November 23, 2024 00:53 12m 28s main
main
November 23, 2024 00:53 12m 28s
Merge pull request #681 from cryspen/franziskus/cg-update hax #2028: Commit 4994c62 pushed by github-merge-queue bot
November 22, 2024 18:09 14m 11s main
main
November 22, 2024 18:09 14m 11s
hax hax #2027: Merge group checks requested
November 22, 2024 17:27 12m 5s
November 22, 2024 17:27 12m 5s
Update boring flow hax #2026: Pull request #681 synchronize by jschneider-bensch
November 22, 2024 16:51 12m 47s franziskus/cg-update
franziskus/cg-update
November 22, 2024 16:51 12m 47s
Merge pull request #692 from cryspen/jonas/mlkem-bench-fix hax #2025: Commit 3c0dffb pushed by github-merge-queue bot
November 22, 2024 09:56 16m 7s main
main
November 22, 2024 09:56 16m 7s
Merge pull request #694 from cryspen/jonas/mlkem-hybrid-swap hax #2024: Commit 6266629 pushed by github-merge-queue bot
November 22, 2024 09:48 8m 38s main
main
November 22, 2024 09:48 8m 38s
hax hax #2023: Merge group checks requested
November 22, 2024 09:01 28m 20s
November 22, 2024 09:01 28m 20s
hax hax #2022: Merge group checks requested
November 22, 2024 09:00 18m 47s
November 22, 2024 09:00 18m 47s
Swap order of hybrid KEM components for X25519MlKem768 hax #2021: Pull request #694 synchronize by jschneider-bensch
November 22, 2024 06:47 12m 42s jonas/mlkem-hybrid-swap
jonas/mlkem-hybrid-swap
November 22, 2024 06:47 12m 42s
Swap order of hybrid KEM components for X25519MlKem768 hax #2020: Pull request #694 synchronize by franziskuskiefer
November 22, 2024 06:31 11m 59s jonas/mlkem-hybrid-swap
jonas/mlkem-hybrid-swap
November 22, 2024 06:31 11m 59s
Swap order of hybrid KEM components for X25519MlKem768 hax #2019: Pull request #694 synchronize by franziskuskiefer
November 22, 2024 06:31 28s jonas/mlkem-hybrid-swap
jonas/mlkem-hybrid-swap
November 22, 2024 06:31 28s
hax hax #2018: Scheduled
November 22, 2024 00:55 12m 14s main
main
November 22, 2024 00:55 12m 14s
Swap order of hybrid KEM components for X25519MlKem768 hax #2017: Pull request #694 synchronize by jschneider-bensch
November 21, 2024 18:06 12m 34s jonas/mlkem-hybrid-swap
jonas/mlkem-hybrid-swap
November 21, 2024 18:06 12m 34s
Merge pull request #689 from cryspen/franziskus/drop-cargo-lock hax #2016: Commit 694cce4 pushed by github-merge-queue bot
November 21, 2024 13:58 16m 56s main
main
November 21, 2024 13:58 16m 56s
hax hax #2015: Merge group checks requested
November 21, 2024 13:21 12m 33s
November 21, 2024 13:21 12m 33s
Swap order of hybrid KEM components for X25519MlKem768 hax #2014: Pull request #694 opened by jschneider-bensch
November 21, 2024 12:52 12m 4s jonas/mlkem-hybrid-swap
jonas/mlkem-hybrid-swap
November 21, 2024 12:52 12m 4s
hax hax #2013: Scheduled
November 21, 2024 00:54 11m 55s main
main
November 21, 2024 00:54 11m 55s