Skip to content

Actions: pq-code-package/mldsa-native

Actions

Bench

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench.yml
954 workflow runs
954 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
[POC] Bench: Add Dabao (Baochip-1x) benchmarks Bench #1202: Pull request #1448 labeled by mkannwischer
In progress mldsa-native-baochip
mldsa-native-baochip
In progress
poly_kl: Store each coefficient once in mld_polyeta_unpack Bench #1201: Pull request #1446 labeled by mkannwischer
2h 19m 30s polyeta-unpack
polyeta-unpack
2h 19m 30s
native: Pass buflen to rej_uniform assembly as uint64_t Bench #1200: Pull request #1443 labeled by mkannwischer
6s rej-uniform-buflen-64bit
rej-uniform-buflen-64bit
6s
mldsa_native_asm.S: Always emit .note.GNU-stack Bench #1199: Pull request #1440 labeled by mkannwischer
10s asm-scu-gnu-stack-note
asm-scu-gnu-stack-note
10s
mldsa_native.c: Undefine sys.h macros after the native backends Bench #1198: Pull request #1441 labeled by mkannwischer
9s scu-undef-sys-after-native
scu-undef-sys-after-native
9s
Examples: Enable native backends in monolithic_build_native Bench #1197: Pull request #1439 labeled by mkannwischer
10s example-monolithic-native-backends
example-monolithic-native-backends
10s
Config: Make the config file flat Bench #1196: Pull request #1438 labeled by mkannwischer
10s flat-config
flat-config
10s
RV32IM: Keep emitted code and selection within proof scope Bench #1195: Commit 14d195a pushed by github-merge-queue Bot
6m 14s main
main
6m 14s
Pavona: Enable the RV32-IM backend in the integration build Bench #1194: Commit 05470e2 pushed by github-merge-queue Bot
1h 10m 38s main
main
1h 10m 38s
sign: Order rejection checks by rejection rate Bench #1193: Pull request #1431 labeled by mkannwischer
56m 48s reoder-norm-check
reoder-norm-check
56m 48s
RV32IM: Document how to select the backend Bench #1192: Commit 929b149 pushed by github-merge-queue Bot
1h 10m 33s main
main
1h 10m 33s
Build(deps): Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.2.4 Bench #1191: Pull request #1430 labeled by dependabot Bot
2s dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.4
dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.4
2s
Build(deps): Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.2.4 Bench #1190: Pull request #1430 labeled by dependabot Bot
1s dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.4
dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.4
1s
Build(deps): Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.2.4 Bench #1189: Pull request #1430 labeled by dependabot Bot
1s dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.4
dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.4
1s
Build(deps): Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.2.4 Bench #1188: Pull request #1430 labeled by dependabot Bot
1s dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.4
dependabot/github_actions/aws-actions/configure-aws-credentials-6.2.4
1s
CI: Run zizmor Github action audit in our lint script Bench #1187: Commit a64659e pushed by github-merge-queue Bot
1h 9m 59s main
main
1h 9m 59s
CI: Add xcode-27 runner image Bench #1186: Commit 83ee8ec pushed by github-merge-queue Bot
2h 3m 23s main
main
2h 3m 23s
[ci] Lint Github actions with zizmor and fix findings Bench #1185: Pull request #1428 labeled by mkannwischer
11s lint-zizmor
lint-zizmor
11s
CI: Allow requesting SLOTHY with the slothy-tests label Bench #1184: Commit 2bd516f pushed by github-merge-queue Bot
2h 5m 55s main
main
2h 5m 55s
Add RV32-IM backend Bench #1183: Pull request #1119 labeled by hanno-becker
1s rv32im_backend
rv32im_backend
1s
Add RV32-IM backend Bench #1182: Pull request #1119 labeled by hanno-becker
10s rv32im_backend
rv32im_backend
10s
HOL-Light/RV32-IM: Add correctness, safety and constant-time proof for arithmetic backend Bench #1181: Pull request #1426 labeled by hanno-becker
1s rv32-proof
rv32-proof
1s
HOL-Light/RV32-IM: Add correctness, safety and constant-time proof for arithmetic backend Bench #1180: Pull request #1426 labeled by hanno-becker
9s rv32-proof
rv32-proof
9s
CBMC: Report inconclusive SMT results Bench #1179: Commit d2149e6 pushed by github-merge-queue Bot
1h 9m 57s main
main
1h 9m 57s
CI: Drop libOQS extmu KAT patch Bench #1178: Commit 42a95e4 pushed by github-merge-queue Bot
1h 8m 38s main
main
1h 8m 38s