Skip to content

Actions: cryspen/libcrux

Actions

Libcrux - Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
libcrux-build-test.yml
435 workflow runs
435 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #917 from msprotz/patch-3 Libcrux - Build & Test #437: Commit 9f6c2de pushed by github-merge-queue bot
April 10, 2025 20:05 22m 38s main
main
April 10, 2025 20:05 22m 38s
Libcrux - Build & Test Libcrux - Build & Test #436: Merge group checks requested
April 10, 2025 19:45 16s
April 10, 2025 19:45 16s
Update eurydice_glue.h Libcrux - Build & Test #435: Pull request #917 opened by msprotz
April 10, 2025 15:40 20m 19s msprotz:patch-3
msprotz:patch-3
April 10, 2025 15:40 20m 19s
Libcrux - Build & Test Libcrux - Build & Test #434: Merge group checks requested
April 10, 2025 13:03 18s
April 10, 2025 13:03 18s
Merge pull request #916 from cryspen/lf-fix-instance-ids-hax-1391 Libcrux - Build & Test #433: Commit 16b7a47 pushed by github-merge-queue bot
April 10, 2025 11:49 23m 28s main
main
April 10, 2025 11:49 23m 28s
Libcrux - Build & Test Libcrux - Build & Test #432: Merge group checks requested
April 10, 2025 11:29 15s
April 10, 2025 11:29 15s
Libcrux - Build & Test Libcrux - Build & Test #431: Merge group checks requested
April 10, 2025 09:31 2m 24s
April 10, 2025 09:31 2m 24s
Upstream new proofs and proof improvements Libcrux - Build & Test #430: Pull request #891 synchronize by karthikbhargavan
April 10, 2025 09:30 54m 34s cleanup-panic-freedom
cleanup-panic-freedom
April 10, 2025 09:30 54m 34s
Some optimizations for SHA-3 on Aarch64 Libcrux - Build & Test #429: Pull request #882 synchronize by karthikbhargavan
April 10, 2025 09:29 23m 31s sha3-arm
sha3-arm
April 10, 2025 09:29 23m 31s
avx2/commitment: F* proofs Libcrux - Build & Test #428: Pull request #874 synchronize by W95Psp
April 10, 2025 09:14 20m 44s minicore-commitment-proof
minicore-commitment-proof
April 10, 2025 09:14 20m 44s
avx2/commitment: F* proofs Libcrux - Build & Test #427: Pull request #874 synchronize by karthikbhargavan
April 10, 2025 08:59 15m 4s minicore-commitment-proof
minicore-commitment-proof
April 10, 2025 08:59 15m 4s
Type-based secret independence Libcrux - Build & Test #426: Pull request #888 synchronize by jschneider-bensch
April 10, 2025 08:25 21m 13s type-based-secret-independence
type-based-secret-independence
April 10, 2025 08:25 21m 13s
Merge pull request #880 from cryspen/keks/bench-trace-macro Libcrux - Build & Test #425: Commit 1aa8c5c pushed by github-merge-queue bot
April 10, 2025 07:40 21m 44s main
main
April 10, 2025 07:40 21m 44s
Libcrux - Build & Test Libcrux - Build & Test #424: Merge group checks requested
April 10, 2025 07:21 16s
April 10, 2025 07:21 16s
Add tracing types and a proc macro for using it to measure functions Libcrux - Build & Test #423: Pull request #880 synchronize by keks
April 10, 2025 06:50 20m 38s keks/bench-trace-macro
keks/bench-trace-macro
April 10, 2025 06:50 20m 38s
fix(F*): rename instance ids, following cryspen/hax#1391 Libcrux - Build & Test #422: Pull request #916 opened by W95Psp
April 9, 2025 14:26 22m 49s lf-fix-instance-ids-hax-1391
lf-fix-instance-ids-hax-1391
April 9, 2025 14:26 22m 49s
ML-DSA: proofs: serialize_6 Libcrux - Build & Test #421: Pull request #906 synchronize by W95Psp
April 9, 2025 13:31 22m 7s lf_serialize_6
lf_serialize_6
April 9, 2025 13:31 22m 7s
avx2/commitment: F* proofs Libcrux - Build & Test #420: Pull request #874 synchronize by W95Psp
April 9, 2025 13:24 27m 30s minicore-commitment-proof
minicore-commitment-proof
April 9, 2025 13:24 27m 30s
avx2/commitment: F* proofs Libcrux - Build & Test #419: Pull request #874 synchronize by W95Psp
April 9, 2025 13:13 11m 31s minicore-commitment-proof
minicore-commitment-proof
April 9, 2025 13:13 11m 31s
avx2/commitment: F* proofs Libcrux - Build & Test #418: Pull request #874 synchronize by W95Psp
April 9, 2025 13:05 2m 39s minicore-commitment-proof
minicore-commitment-proof
April 9, 2025 13:05 2m 39s
avx2/commitment: F* proofs Libcrux - Build & Test #417: Pull request #874 synchronize by W95Psp
April 9, 2025 13:03 1m 37s minicore-commitment-proof
minicore-commitment-proof
April 9, 2025 13:03 1m 37s
Add tracing types and a proc macro for using it to measure functions Libcrux - Build & Test #415: Pull request #880 synchronize by keks
April 9, 2025 12:08 10m 0s keks/bench-trace-macro
keks/bench-trace-macro
April 9, 2025 12:08 10m 0s
avx2/commitment: F* proofs Libcrux - Build & Test #414: Pull request #874 synchronize by W95Psp
April 9, 2025 11:05 10m 29s minicore-commitment-proof
minicore-commitment-proof
April 9, 2025 11:05 10m 29s
avx2/commitment: F* proofs Libcrux - Build & Test #413: Pull request #874 synchronize by W95Psp
April 9, 2025 11:02 3m 33s minicore-commitment-proof
minicore-commitment-proof
April 9, 2025 11:02 3m 33s
avx2/commitment: F* proofs Libcrux - Build & Test #412: Pull request #874 synchronize by W95Psp
April 9, 2025 11:00 1m 34s minicore-commitment-proof
minicore-commitment-proof
April 9, 2025 11:00 1m 34s