Skip to content

Commit 7e5c9ea

Browse files
committed
CI: Exercise MLK_CONFIG_SERIAL_FIPS202_ONLY option
Signed-off-by: Matthias J. Kannwischer <[email protected]>
1 parent 57ad7a0 commit 7e5c9ea

File tree

3 files changed

+476
-1
lines changed

3 files changed

+476
-1
lines changed

.github/actions/config-variations/action.yml

Lines changed: 14 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ inputs:
77
description: 'GitHub token'
88
required: true
99
tests:
10-
description: 'List of tests to run (space-separated IDs) or "all" for all tests. Available IDs: pct-enabled, pct-enabled-broken, custom-zeroize, no-asm, custom-randombytes, custom-memcpy, custom-memset, custom-stdlib'
10+
description: 'List of tests to run (space-separated IDs) or "all" for all tests. Available IDs: pct-enabled, pct-enabled-broken, custom-zeroize, no-asm, custom-randombytes, custom-memcpy, custom-memset, custom-stdlib, serial-fips202'
1111
required: false
1212
default: 'all'
1313
opt:
@@ -123,3 +123,16 @@ runs:
123123
acvp: true
124124
opt: ${{ inputs.opt }}
125125
examples: false # Some examples use a custom config themselves
126+
- name: "Serial FIPS202 (no batched Keccak)"
127+
if: ${{ inputs.tests == 'all' || contains(inputs.tests, 'serial-fips202') }}
128+
uses: ./.github/actions/multi-functest
129+
with:
130+
gh_token: ${{ inputs.gh_token }}
131+
compile_mode: native
132+
cflags: "-std=c11 -D_GNU_SOURCE -DMLD_CONFIG_FILE=\\\\\\\"../test/serial_fips202_config.h\\\\\\\" -fsanitize=address -fsanitize=undefined -fno-sanitize-recover=all"
133+
ldflags: "-fsanitize=address -fsanitize=undefined -fno-sanitize-recover=all"
134+
func: true
135+
kat: true
136+
acvp: true
137+
opt: ${{ inputs.opt }}
138+
examples: false # Some examples use a custom config themselves

BIBLIOGRAPHY.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@ source code and documentation.
2626
- [test/custom_stdlib_config.h](test/custom_stdlib_config.h)
2727
- [test/custom_zeroize_config.h](test/custom_zeroize_config.h)
2828
- [test/no_asm_config.h](test/no_asm_config.h)
29+
- [test/serial_fips202_config.h](test/serial_fips202_config.h)
2930

3031
### `FIPS202`
3132

@@ -63,6 +64,7 @@ source code and documentation.
6364
- [test/custom_stdlib_config.h](test/custom_stdlib_config.h)
6465
- [test/custom_zeroize_config.h](test/custom_zeroize_config.h)
6566
- [test/no_asm_config.h](test/no_asm_config.h)
67+
- [test/serial_fips202_config.h](test/serial_fips202_config.h)
6668

6769
### `HYBRID`
6870

0 commit comments

Comments
 (0)