Skip to content

Actions: pq-code-package/mldsa-native

Actions

Legacy compilers

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
legacy-compilers.yml
1,119 workflow runs
1,119 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
Legacy compilers Legacy compilers #1131: Scheduled
52m 11s main
main
52m 11s
Add issue templates Legacy compilers #1130: Pull request #1457 opened by mkannwischer
8s port-issue-forms
port-issue-forms
8s
nix: Take HOL Light from nixpkgs-unstable instead of pinning it Legacy compilers #1129: Pull request #1433 synchronize by mkannwischer
11s rv32-proof-followup
rv32-proof-followup
11s
native: Pass chknorm bound to assembly as int64_t Legacy compilers #1128: Pull request #1445 synchronize by mkannwischer
1s hol-light-chknorm-bound-low32
hol-light-chknorm-bound-low32
1s
Legacy compilers Legacy compilers #1127: Scheduled
50m 37s main
main
50m 37s
x86_64: Clear upper YMM state before returning from AVX2 assembly Legacy compilers #1126: Pull request #1444 synchronize by mkannwischer
9s x86-vzeroupper
x86-vzeroupper
9s
native: Pass chknorm bound to assembly as int64_t Legacy compilers #1125: Pull request #1445 synchronize by mkannwischer
1s hol-light-chknorm-bound-low32
hol-light-chknorm-bound-low32
1s
CI: Add clang23 tests and constant-time tests Legacy compilers #1124: Pull request #1434 labeled by mkannwischer
52m 17s clang23
clang23
52m 17s
CI: Add clang23 tests and constant-time tests Legacy compilers #1123: Pull request #1434 synchronize by mkannwischer
1s clang23
clang23
1s
Legacy compilers Legacy compilers #1122: Scheduled
47m 56s main
main
47m 56s
Legacy compilers Legacy compilers #1121: Scheduled
48m 0s main
main
48m 0s
Legacy compilers Legacy compilers #1120: Scheduled
47m 0s main
main
47m 0s
CI: Bump pins Legacy compilers #1119: Pull request #1452 opened by mkannwischer
1s bump-ci
bump-ci
1s
Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4 Legacy compilers #1118: Pull request #1398 synchronize by jakemas
2s rej-uniform-eta-ct-fevents-v2
rej-uniform-eta-ct-fevents-v2
2s
Legacy compilers Legacy compilers #1117: Scheduled
47m 10s main
main
47m 10s
Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4 Legacy compilers #1116: Pull request #1398 synchronize by jakemas
10s rej-uniform-eta-ct-fevents-v2
rej-uniform-eta-ct-fevents-v2
10s
Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.3.0 Legacy compilers #1115: Pull request #1450 labeled by dependabot Bot
6s dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
6s
Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.3.0 Legacy compilers #1114: Pull request #1450 labeled by dependabot Bot
1s dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
1s
Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.3.0 Legacy compilers #1113: Pull request #1450 opened by dependabot Bot
2s dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
2s
Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.3.0 Legacy compilers #1112: Pull request #1450 labeled by dependabot Bot
8s dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
8s
Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.3.0 Legacy compilers #1111: Pull request #1450 labeled by dependabot Bot
9s dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
dependabot/github_actions/aws-actions/configure-aws-credentials-6.3.0
9s
Make the alignment configurable Legacy compilers #1110: Pull request #1379 synchronize by mkannwischer
9s configurable-alignment
configurable-alignment
9s
Make the alignment configurable Legacy compilers #1109: Pull request #1379 synchronize by mkannwischer
1s configurable-alignment
configurable-alignment
1s
Legacy compilers Legacy compilers #1108: Scheduled
47m 1s main
main
47m 1s
Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4 Legacy compilers #1107: Pull request #1398 synchronize by jakemas
1s rej-uniform-eta-ct-fevents-v2
rej-uniform-eta-ct-fevents-v2
1s