Skip to content

Actions: pq-code-package/mldsa-native

Actions

Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
804 workflow runs
804 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Lint: Replace black with ruff Bench #805: Commit f57eae6 pushed by hanno-becker
25m 37s main
main
25m 37s
aarch64: Use more pairwise load/store Bench #804: Pull request #1046 labeled by mkannwischer
26m 39s aarch64-prefer-ldp-stp
aarch64-prefer-ldp-stp
26m 39s
aarch64: Use more pairwise load/store Bench #803: Pull request #1046 labeled by flynd
2s aarch64-prefer-ldp-stp
aarch64-prefer-ldp-stp
2s
Update s2n-bignum and HOL Light pins Bench #802: Commit 087bdcd pushed by mkannwischer
25m 26s main
main
25m 26s
autogen: Add emit_c_array helper, make all array sizes explicit Bench #801: Commit 8544cd7 pushed by mkannwischer
35m 1s main
main
35m 1s
native: Allow tables to be declared static Bench #800: Pull request #1043 labeled by mkannwischer
1s static-tables
static-tables
1s
Lowram: Share buffers with non-overlapping lifetimes in keygen Bench #799: Commit b21396d pushed by mkannwischer
34m 16s main
main
34m 16s
CBMC: Remove MLD_UNION_OR_STRUCT Bench #798: Commit 398f301 pushed by hanno-becker
42m 47s main
main
42m 47s
CBMC: Remove MLD_UNION_OR_STRUCT Bench #797: Pull request #1044 labeled by hanno-becker
2s cbmc_union_yay
cbmc_union_yay
2s
CBMC: Remove MLD_UNION_OR_STRUCT Bench #796: Pull request #1044 labeled by hanno-becker
1s cbmc_union_yay
cbmc_union_yay
1s
CT: Clarify that t0 is public despite it not being part of the pk Bench #795: Commit aced043 pushed by mkannwischer
33m 51s main
main
33m 51s
Make tests and examples compatible with reduced-API configurations Bench #794: Commit eaa25dd pushed by mkannwischer
42m 17s main
main
42m 17s
Add --slice-formula to stabilize proof performance on both macOS and … Bench #793: Commit bd88aea pushed by mkannwischer
33m 18s main
main
33m 18s
poly_ntt_c add --slice-formula to stabilize proof Bench #792: Pull request #1042 labeled by rod-chapman
1s poly_ntt_c_proof
poly_ntt_c_proof
1s
CBMC: Update to v6.9 Bench #791: Commit 700907b pushed by mkannwischer
25m 26s main
main
25m 26s
CBMC: Update to v6.9.0 Bench #790: Pull request #1041 labeled by hanno-becker
Skipped cbmc69
cbmc69
Skipped
CBMC: Restore polyvecl_pointwise_acc_montgomery_c proof flags Bench #789: Commit 5d619ea pushed by mkannwischer
32m 58s main
main
32m 58s
Add HOL Light poly_use_hint proofs for AArch64 Bench #788: Pull request #1037 labeled by jakemas
1s hol-light-aarch64-use-hint
hol-light-aarch64-use-hint
1s
CI: Re-enable benchmarking on Mac Mini/RPi4/A55/BPi Bench #787: Commit 4d393aa pushed by hanno-becker
25m 34s main
main
25m 34s
Fix context-length validation in ACVP test binary Bench #786: Commit 2d66860 pushed by mkannwischer
6m 52s main
main
6m 52s
Fix context-length validation in ACVP test binary Bench #785: Pull request #1038 labeled by hanno-becker
1s acvp_ctx_fix
acvp_ctx_fix
1s
Add README to mldsa/ Bench #784: Commit 5cac01c pushed by mkannwischer
6m 39s main
main
6m 39s
fips202: Don't build Keccak-f1600x2/x4 unless used Bench #783: Commit 5dc4211 pushed by mkannwischer
6m 45s main
main
6m 45s
CT: Update comment on valgrind workaround Bench #782: Commit af47899 pushed by mkannwischer
6m 45s main
main
6m 45s
CI: Sync with mlkem-native (RISC-V runners, fork guards, examples, benchmarking) Bench #781: Pull request #1034 labeled by mkannwischer
28m 4s extend-ci
extend-ci
28m 4s