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

Merge pull request #693 from cryspen/franziskus/code-owners hax #2012: Commit 2b0c30d pushed by github-merge-queue bot
November 20, 2024 12:57 12m 52s main
main
November 20, 2024 12:57 12m 52s
hax hax #2011: Merge group checks requested
November 20, 2024 12:15 14m 32s
November 20, 2024 12:15 14m 32s
code owners hax #2010: Pull request #693 opened by franziskuskiefer
November 20, 2024 09:22 12m 5s franziskus/code-owners
franziskus/code-owners
November 20, 2024 09:22 12m 5s
hax hax #2009: Scheduled
November 20, 2024 00:54 11m 57s main
main
November 20, 2024 00:54 11m 57s
Fix ML-KEM benchmarks hax #2008: Pull request #692 synchronize by jschneider-bensch
November 19, 2024 12:36 18m 54s jonas/mlkem-bench-fix
jonas/mlkem-bench-fix
November 19, 2024 12:36 18m 54s
Fix ML-KEM benchmarks hax #2007: Pull request #692 opened by jschneider-bensch
November 19, 2024 11:18 13m 0s jonas/mlkem-bench-fix
jonas/mlkem-bench-fix
November 19, 2024 11:18 13m 0s
hax hax #2006: Scheduled
November 19, 2024 00:55 12m 21s main
main
November 19, 2024 00:55 12m 21s
Remove Cargo.lock hax #2005: Pull request #691 opened by Nadrieril
November 18, 2024 10:47 18m 27s Nadrieril:remove-cargo-lock
Nadrieril:remove-cargo-lock
November 18, 2024 10:47 18m 27s
Export fixed-size versions of HPKE hax #2004: Pull request #690 synchronize by keks
November 18, 2024 09:58 12m 16s keks/hpke-fixed-size-419
keks/hpke-fixed-size-419
November 18, 2024 09:58 12m 16s
Export fixed-size versions of HPKE hax #2003: Pull request #690 opened by keks
November 18, 2024 09:45 13m 10s keks/hpke-fixed-size-419
keks/hpke-fixed-size-419
November 18, 2024 09:45 13m 10s
Merge pull request #682 from cryspen/franziskus/mlkem-report hax #2002: Commit e72d25c pushed by franziskuskiefer
November 18, 2024 07:17 11m 55s main
main
November 18, 2024 07:17 11m 55s
Delete Cargo.lock hax #2001: Pull request #689 opened by franziskuskiefer
November 18, 2024 06:59 13m 38s franziskus/drop-cargo-lock
franziskus/drop-cargo-lock
November 18, 2024 06:59 13m 38s
Bump serde_json from 1.0.132 to 1.0.133 hax #2000: Pull request #688 opened by dependabot bot
November 18, 2024 02:30 1h 31m 49s dependabot/cargo/serde_json-1.0.133
dependabot/cargo/serde_json-1.0.133
November 18, 2024 02:30 1h 31m 49s
Bump hax-lib-macros from 4291b19 to 63432cf hax #1999: Pull request #687 opened by dependabot bot
November 18, 2024 02:29 1h 12m 6s dependabot/cargo/hax-lib-macros-63432cf
dependabot/cargo/hax-lib-macros-63432cf
November 18, 2024 02:29 1h 12m 6s
Bump libc from 0.2.161 to 0.2.164 hax #1998: Pull request #686 opened by dependabot bot
November 18, 2024 02:29 42m 12s dependabot/cargo/libc-0.2.164
dependabot/cargo/libc-0.2.164
November 18, 2024 02:29 42m 12s
Bump serde from 1.0.214 to 1.0.215 hax #1997: Pull request #685 opened by dependabot bot
November 18, 2024 02:29 27m 18s dependabot/cargo/serde-1.0.215
dependabot/cargo/serde-1.0.215
November 18, 2024 02:29 27m 18s
Bump clap from 4.5.20 to 4.5.21 hax #1996: Pull request #684 opened by dependabot bot
November 18, 2024 02:29 14m 3s dependabot/cargo/clap-4.5.21
dependabot/cargo/clap-4.5.21
November 18, 2024 02:29 14m 3s
Bump DeterminateSystems/nix-installer-action from 13 to 16 hax #1995: Pull request #683 opened by dependabot bot
November 18, 2024 02:14 20m 20s dependabot/github_actions/DeterminateSystems/nix-installer-action-16
dependabot/github_actions/DeterminateSystems/nix-installer-action-16
November 18, 2024 02:14 20m 20s
hax hax #1994: Scheduled
November 18, 2024 00:56 12m 15s main
main
November 18, 2024 00:56 12m 15s
ML-KEM Report hax #1993: Pull request #682 opened by franziskuskiefer
November 17, 2024 09:10 16m 31s franziskus/mlkem-report
franziskus/mlkem-report
November 17, 2024 09:10 16m 31s
hax hax #1992: Scheduled
November 17, 2024 00:58 11m 50s main
main
November 17, 2024 00:58 11m 50s
Merging main into dev hax #1991: Pull request #662 synchronize by karthikbhargavan
November 16, 2024 17:33 16m 21s dev-merge-main
dev-merge-main
November 16, 2024 17:33 16m 21s
Merging main into dev hax #1990: Pull request #662 synchronize by karthikbhargavan
November 16, 2024 07:44 20m 7s dev-merge-main
dev-merge-main
November 16, 2024 07:44 20m 7s
hax hax #1989: Scheduled
November 16, 2024 00:54 13m 36s main
main
November 16, 2024 00:54 13m 36s
Merging main into dev hax #1988: Pull request #662 synchronize by karthikbhargavan
November 15, 2024 15:49 17m 8s dev-merge-main
dev-merge-main
November 15, 2024 15:49 17m 8s