Skip to content

Actions: cryspen/libcrux

Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,106 workflow runs
2,106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #693 from cryspen/franziskus/code-owners
Build & Test #2167: Commit 2b0c30d pushed by github-merge-queue bot
November 20, 2024 12:57 16m 38s main
November 20, 2024 12:57 16m 38s
Build & Test
Build & Test #2166: Merge group checks requested
November 20, 2024 12:15 15m 17s
November 20, 2024 12:15 15m 17s
code owners
Build & Test #2165: Pull request #693 opened by franziskuskiefer
November 20, 2024 09:22 13m 44s franziskus/code-owners
November 20, 2024 09:22 13m 44s
Fix ML-KEM benchmarks
Build & Test #2164: Pull request #692 synchronize by jschneider-bensch
November 19, 2024 12:36 14m 50s jonas/mlkem-bench-fix
November 19, 2024 12:36 14m 50s
Fix ML-KEM benchmarks
Build & Test #2163: Pull request #692 opened by jschneider-bensch
November 19, 2024 11:18 16m 49s jonas/mlkem-bench-fix
November 19, 2024 11:18 16m 49s
Remove Cargo.lock
Build & Test #2162: Pull request #691 opened by Nadrieril
November 18, 2024 10:47 21m 7s Nadrieril:remove-cargo-lock
November 18, 2024 10:47 21m 7s
Export fixed-size versions of HPKE
Build & Test #2161: Pull request #690 synchronize by keks
November 18, 2024 09:58 13m 45s keks/hpke-fixed-size-419
November 18, 2024 09:58 13m 45s
Export fixed-size versions of HPKE
Build & Test #2160: Pull request #690 opened by keks
November 18, 2024 09:45 14m 2s keks/hpke-fixed-size-419
November 18, 2024 09:45 14m 2s
Merge pull request #682 from cryspen/franziskus/mlkem-report
Build & Test #2159: Commit e72d25c pushed by franziskuskiefer
November 18, 2024 07:17 12m 37s main
November 18, 2024 07:17 12m 37s
Delete Cargo.lock
Build & Test #2158: Pull request #689 opened by franziskuskiefer
November 18, 2024 06:59 17m 6s franziskus/drop-cargo-lock
November 18, 2024 06:59 17m 6s
Bump serde_json from 1.0.132 to 1.0.133
Build & Test #2157: Pull request #688 opened by dependabot bot
November 18, 2024 02:30 1h 31m 38s dependabot/cargo/serde_json-1.0.133
November 18, 2024 02:30 1h 31m 38s
Bump hax-lib-macros from 4291b19 to 63432cf
Build & Test #2156: Pull request #687 opened by dependabot bot
November 18, 2024 02:29 1h 16m 27s dependabot/cargo/hax-lib-macros-63432cf
November 18, 2024 02:29 1h 16m 27s
Bump libc from 0.2.161 to 0.2.164
Build & Test #2155: Pull request #686 opened by dependabot bot
November 18, 2024 02:29 49m 31s dependabot/cargo/libc-0.2.164
November 18, 2024 02:29 49m 31s
Bump serde from 1.0.214 to 1.0.215
Build & Test #2154: Pull request #685 opened by dependabot bot
November 18, 2024 02:29 41m 8s dependabot/cargo/serde-1.0.215
November 18, 2024 02:29 41m 8s
Bump clap from 4.5.20 to 4.5.21
Build & Test #2153: Pull request #684 opened by dependabot bot
November 18, 2024 02:29 22m 43s dependabot/cargo/clap-4.5.21
November 18, 2024 02:29 22m 43s
ML-KEM Report
Build & Test #2151: Pull request #682 opened by franziskuskiefer
November 17, 2024 09:10 16m 25s franziskus/mlkem-report
November 17, 2024 09:10 16m 25s
Merging main into dev
Build & Test #2150: Pull request #662 synchronize by karthikbhargavan
November 16, 2024 17:33 18m 36s dev-merge-main
November 16, 2024 17:33 18m 36s
Merging main into dev
Build & Test #2149: Pull request #662 synchronize by karthikbhargavan
November 16, 2024 07:44 19m 10s dev-merge-main
November 16, 2024 07:44 19m 10s
Merging main into dev
Build & Test #2148: Pull request #662 synchronize by karthikbhargavan
November 15, 2024 15:49 23m 5s dev-merge-main
November 15, 2024 15:49 23m 5s
Update boring flow
Build & Test #2147: Pull request #681 opened by franziskuskiefer
November 15, 2024 11:56 11m 53s franziskus/cg-update
November 15, 2024 11:56 11m 53s
Merge pull request #671 from cryspen/jonas/invntt-butterfly
Build & Test #2146: Commit dc479b8 pushed by github-merge-queue bot
November 15, 2024 11:00 25m 15s main
November 15, 2024 11:00 25m 15s
Build & Test
Build & Test #2145: Merge group checks requested
November 15, 2024 10:17 14m 30s
November 15, 2024 10:17 14m 30s
Merging main into dev
Build & Test #2144: Pull request #662 synchronize by karthikbhargavan
November 14, 2024 17:19 25m 50s dev-merge-main
November 14, 2024 17:19 25m 50s
Merge pull request #678 from Nadrieril/improve-flake
Build & Test #2143: Commit 2608798 pushed by github-merge-queue bot
November 14, 2024 15:40 1h 42m 10s main
November 14, 2024 15:40 1h 42m 10s