Skip to content

Actions: cryspen/libcrux

Build & Test C

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,229 workflow runs
1,229 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixing code to address review comments
Build & Test C #1210: Pull request #705 synchronize by karthikbhargavan
December 3, 2024 18:43 4m 27s dev-review-comments
December 3, 2024 18:43 4m 27s
fixing code to address review comments
Build & Test C #1209: Pull request #705 opened by karthikbhargavan
December 3, 2024 18:03 37m 5s dev-review-comments
December 3, 2024 18:03 37m 5s
Clean up Hacl-rs integration and add Poly1305 and ChaCha20Poly1305
Build & Test C #1208: Pull request #703 synchronize by keks
December 3, 2024 17:37 29m 16s keks/more-hacl-rs
December 3, 2024 17:37 29m 16s
Clean up Hacl-rs integration and add Poly1305 and ChaCha20Poly1305
Build & Test C #1207: Pull request #703 synchronize by keks
December 3, 2024 17:30 7m 6s keks/more-hacl-rs
December 3, 2024 17:30 7m 6s
add ignore to mlkem cg glue
Build & Test C #1206: Commit a7104e5 pushed by franziskuskiefer
December 2, 2024 18:32 35m 17s dev
dev
December 2, 2024 18:32 35m 17s
Clean up Hacl-rs integration and add Poly1305 and ChaCha20Poly1305
Build & Test C #1205: Pull request #703 opened by keks
December 2, 2024 17:58 29m 32s keks/more-hacl-rs
December 2, 2024 17:58 29m 32s
udpate C extraction
Build & Test C #1204: Commit 470eb78 pushed by franziskuskiefer
December 2, 2024 15:54 36m 28s dev
dev
December 2, 2024 15:54 36m 28s
update C code extraction
Build & Test C #1203: Commit 3e54f3c pushed by franziskuskiefer
December 2, 2024 14:38 36m 43s dev
dev
December 2, 2024 14:38 36m 43s
disable tests that relied on the old ipd mlkem
Build & Test C #1202: Commit 7fa7712 pushed by franziskuskiefer
December 2, 2024 12:35 34m 52s dev
dev
December 2, 2024 12:35 34m 52s
update mlkem C code
Build & Test C #1201: Commit 4c3ea11 pushed by franziskuskiefer
December 2, 2024 11:03 34m 36s dev
dev
December 2, 2024 11:03 34m 36s
Merge pull request #701 from cryspen/franziskus/mldsa-hash-inline
Build & Test C #1200: Commit b2b9c4e pushed by github-merge-queue bot
December 2, 2024 09:11 29m 6s main
December 2, 2024 09:11 29m 6s
Build & Test C
Build & Test C #1199: Merge group checks requested
December 2, 2024 08:40 29m 40s
December 2, 2024 08:40 29m 40s
Merge pull request #662 from cryspen/dev-merge-main
Build & Test C #1198: Commit 5a621c7 pushed by karthikbhargavan
December 1, 2024 13:36 32m 41s dev
dev
December 1, 2024 13:36 32m 41s
Merging main into dev
Build & Test C #1197: Pull request #662 synchronize by karthikbhargavan
December 1, 2024 13:06 37m 41s dev-merge-main
December 1, 2024 13:06 37m 41s
Merging main into dev
Build & Test C #1196: Pull request #662 synchronize by karthikbhargavan
December 1, 2024 11:36 35m 22s dev-merge-main
December 1, 2024 11:36 35m 22s
[ML-DSA] Inline hash_functions.rs
Build & Test C #1195: Pull request #701 opened by franziskuskiefer
November 30, 2024 16:25 29m 0s franziskus/mldsa-hash-inline
November 30, 2024 16:25 29m 0s
Merging main into dev
Build & Test C #1194: Pull request #662 synchronize by karthikbhargavan
November 30, 2024 12:21 13m 6s dev-merge-main
November 30, 2024 12:21 13m 6s
Merging main into dev
Build & Test C #1193: Pull request #662 synchronize by mamonet
November 29, 2024 20:57 18m 54s dev-merge-main
November 29, 2024 20:57 18m 54s
Merging main into dev
Build & Test C #1192: Pull request #662 synchronize by karthikbhargavan
November 29, 2024 17:48 18m 43s dev-merge-main
November 29, 2024 17:48 18m 43s
Merging main into dev
Build & Test C #1191: Pull request #662 synchronize by mamonet
November 29, 2024 16:10 13m 34s dev-merge-main
November 29, 2024 16:10 13m 34s
Merging main into dev
Build & Test C #1190: Pull request #662 synchronize by karthikbhargavan
November 29, 2024 15:43 11m 43s dev-merge-main
November 29, 2024 15:43 11m 43s
Merging main into dev
Build & Test C #1189: Pull request #662 synchronize by mamonet
November 29, 2024 15:43 53s dev-merge-main
November 29, 2024 15:43 53s
Merging main into dev
Build & Test C #1188: Pull request #662 synchronize by mamonet
November 29, 2024 14:15 14m 32s dev-merge-main
November 29, 2024 14:15 14m 32s
Merging main into dev
Build & Test C #1187: Pull request #662 synchronize by karthikbhargavan
November 28, 2024 19:19 12m 45s dev-merge-main
November 28, 2024 19:19 12m 45s
Merge pull request #700 from cryspen/ci-custom-hax-branches
Build & Test C #1186: Commit 6ede996 pushed by github-merge-queue bot
November 28, 2024 13:20 31m 20s main
November 28, 2024 13:20 31m 20s