Skip to content

Actions: pq-code-package/mlkem-native

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
all.yml
2,923 workflow runs
2,923 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

linting: add shellcheck support for shell script linting CI #2959: Pull request #1329 synchronize by L-series
1h 4m 34s shellcheck
shellcheck
1h 4m 34s
Add context parameter CI #2958: Pull request #1339 synchronize by davidchisnall
Action required davidchisnall:add-context-parameter
davidchisnall:add-context-parameter
Action required
Add context parameter CI #2957: Pull request #1339 synchronize by davidchisnall
Action required davidchisnall:add-context-parameter
davidchisnall:add-context-parameter
Action required
CI: Add symlink-check CI #2956: Commit e06ba17 pushed by hanno-becker
39m 31s main
main
39m 31s
[TEST] CBMC proof brittleness CI #2955: Pull request #1455 synchronize by hanno-becker
12m 22s cbmc_oddity
cbmc_oddity
12m 22s
CI: Add symlink-check CI #2954: Pull request #1464 opened by mkannwischer
35m 52s lint-symlinks
lint-symlinks
35m 52s
CT: Strengthen post-condition of ct_memcmp CI #2953: Pull request #1463 opened by mkannwischer
16m 22s ct-memcmp
ct-memcmp
16m 22s
Add context parameter CI #2952: Pull request #1339 synchronize by davidchisnall
Action required davidchisnall:add-context-parameter
davidchisnall:add-context-parameter
Action required
Add context parameter CI #2951: Pull request #1339 synchronize by davidchisnall
Action required davidchisnall:add-context-parameter
davidchisnall:add-context-parameter
Action required
Refactor mlk_polymat_permute_bitrev_to_custom CI #2950: Pull request #1336 synchronize by willieyz
17m 25s refactor-polymat-permute
refactor-polymat-permute
17m 25s
CBMC: Add and prove x86_64 backend contracts CI #2949: Pull request #1393 synchronize by hanno-becker
42m 26s cbmc-x86-backend
cbmc-x86-backend
42m 26s
Remove redundant nmake rule for legacy test path CI #2948: Commit 180a401 pushed by hanno-becker
42m 0s main
main
42m 0s
Remove redundant nmake rule for legacy test path CI #2947: Pull request #1459 synchronize by hanno-becker
41m 39s remove-redundant-nmake-rule
remove-redundant-nmake-rule
41m 39s
Refactor mlk_polymat_permute_bitrev_to_custom CI #2946: Pull request #1336 synchronize by willieyz
1h 16m 7s refactor-polymat-permute
refactor-polymat-permute
1h 16m 7s
Refactor mlk_polymat_permute_bitrev_to_custom CI #2945: Pull request #1336 synchronize by willieyz
12m 12s refactor-polymat-permute
refactor-polymat-permute
12m 12s
Refactor mlk_polymat_permute_bitrev_to_custom CI #2944: Pull request #1336 synchronize by willieyz
10m 17s refactor-polymat-permute
refactor-polymat-permute
10m 17s
Refactor mlk_polymat_permute_bitrev_to_custom CI #2943: Pull request #1336 synchronize by willieyz
40m 42s refactor-polymat-permute
refactor-polymat-permute
40m 42s
unit-test: add consistency test for rej_uniform and rej_uniform_x4 CI #2942: Commit 5a3fc59 pushed by mkannwischer
38m 59s main
main
38m 59s
Remove redundant nmake rule for legacy test path CI #2941: Pull request #1459 opened by willieyz
42m 27s remove-redundant-nmake-rule
remove-redundant-nmake-rule
42m 27s
unit-test: add consistency test for mlk_poly_rej_uniform_x4/x1 CI #2940: Pull request #1431 synchronize by willieyz
3m 21s unit-test-x1x4
unit-test-x1x4
3m 21s
CBMC: Add and prove x86_64 backend contracts CI #2939: Pull request #1393 synchronize by willieyz
38m 50s cbmc-x86-backend
cbmc-x86-backend
38m 50s
linting: add shellcheck support for shell script linting CI #2938: Pull request #1329 synchronize by L-series
57m 25s shellcheck
shellcheck
57m 25s
linting: add shellcheck support for shell script linting CI #2937: Pull request #1329 synchronize by L-series
41m 34s shellcheck
shellcheck
41m 34s
CI: Add linting of commit messages CI #2936: Pull request #1458 opened by mkannwischer
6m 58s lint-commits
lint-commits
6m 58s
Use consistent architecture identifier CI #2935: Commit d213ca8 pushed by hanno-becker
53m 59s main
main
53m 59s