Skip to content

Actions: cryspen/libcrux

Actions

ECDH - Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ecdh-build-test.yml
441 workflow runs
441 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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