Skip to content

Actions: pq-code-package/mlkem-native

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
421 workflow run results
421 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix CBMC build on Linux and run CBMC in CI CI #303: Pull request #93 synchronize by mkannwischer
August 9, 2024 08:25 4m 34s mkannwischer:cbmclinux
mkannwischer:cbmclinux
August 9, 2024 08:25 4m 34s
Fix CBMC build on Linux and run CBMC in CI CI #302: Pull request #93 opened by mkannwischer
August 9, 2024 08:24 4m 42s mkannwischer:cbmclinux
mkannwischer:cbmclinux
August 9, 2024 08:24 4m 42s
Update to cbmc-viewer version 3.9 CI #301: Pull request #92 opened by rod-chapman
August 8, 2024 14:41 13m 45s rod-chapman:cbmc-viewer-3.9
rod-chapman:cbmc-viewer-3.9
August 8, 2024 14:41 13m 45s
Add proof of poly_compress() CI #300: Pull request #91 opened by rod-chapman
August 8, 2024 13:12 12m 0s rod-chapman:poly_compress_contracts
rod-chapman:poly_compress_contracts
August 8, 2024 13:12 12m 0s
Introduce common coeff_signed_to_unsigned function in poly.c CI #299: Pull request #53 synchronize by rod-chapman
August 8, 2024 13:06 13m 32s rod-chapman:poly_compress_contracts
rod-chapman:poly_compress_contracts
August 8, 2024 13:06 13m 32s
Introduce common coeff_signed_to_unsigned function in poly.c CI #298: Pull request #53 synchronize by rod-chapman
July 31, 2024 12:19 4m 54s rod-chapman:poly_compress_contracts
rod-chapman:poly_compress_contracts
July 31, 2024 12:19 4m 54s
Introduce common coeff_signed_to_unsigned function in poly.c CI #297: Pull request #53 synchronize by rod-chapman
July 30, 2024 12:27 4m 39s rod-chapman:poly_compress_contracts
rod-chapman:poly_compress_contracts
July 30, 2024 12:27 4m 39s
Introduce common coeff_signed_to_unsigned function in poly.c CI #296: Pull request #53 synchronize by hanno-becker
July 30, 2024 09:14 4m 51s rod-chapman:poly_compress_contracts
rod-chapman:poly_compress_contracts
July 30, 2024 09:14 4m 51s
Update CBMC to v6.1.1 (#90) CI #295: Commit 20c1bca pushed by mkannwischer
July 30, 2024 05:06 14m 8s main
main
July 30, 2024 05:06 14m 8s
Introduce common coeff_signed_to_unsigned function in poly.c CI #294: Pull request #53 synchronize by hanno-becker
July 30, 2024 05:02 14m 14s rod-chapman:poly_compress_contracts
rod-chapman:poly_compress_contracts
July 30, 2024 05:02 14m 14s
Update CBMC to v6.1.1 CI #293: Pull request #90 synchronize by hanno-becker
July 30, 2024 04:35 12m 16s cbmc611
cbmc611
July 30, 2024 04:35 12m 16s
Update CBMC to v6.1.1 CI #292: Commit b58c5a5 pushed by hanno-becker
July 30, 2024 04:35 13m 26s cbmc611
cbmc611
July 30, 2024 04:35 13m 26s
Update CBMC to v6.1.1 CI #291: Pull request #90 opened by hanno-becker
July 30, 2024 04:33 12m 23s cbmc611
cbmc611
July 30, 2024 04:33 12m 23s
Update CBMC to v6.1.1 CI #290: Commit 65734b6 pushed by hanno-becker
July 30, 2024 04:33 11m 21s cbmc611
cbmc611
July 30, 2024 04:33 11m 21s
Refactor nix configuration on ci and the aarch64 gcc dependency on x8… CI #289: Commit bad1095 pushed by mkannwischer
July 29, 2024 10:33 4m 57s main
main
July 29, 2024 10:33 4m 57s
Refactor nix configuration on ci and the aarch64 gcc dependency on x86_64 machines CI #288: Pull request #89 synchronize by potsrevennil
July 23, 2024 06:07 4m 58s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
July 23, 2024 06:07 4m 58s
Refactor nix configuration on ci and the aarch64 gcc dependency on x86_64 machines CI #287: Pull request #89 synchronize by potsrevennil
July 23, 2024 03:31 4m 46s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
July 23, 2024 03:31 4m 46s
Refactor nix configuration on ci and the aarch64 gcc dependency on x86_64 machines CI #286: Pull request #89 synchronize by potsrevennil
July 23, 2024 03:14 4m 34s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
July 23, 2024 03:14 4m 34s
Refactor nix configuration on ci and the aarch64 gcc dependency on x86_64 machines CI #285: Pull request #89 opened by potsrevennil
July 22, 2024 09:09 4m 52s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
July 22, 2024 09:09 4m 52s
add keccakx interface (#62) CI #284: Commit 88fcf89 pushed by hanno-becker
July 19, 2024 03:06 15m 10s main
main
July 19, 2024 03:06 15m 10s
Add Keccak X4 interface CI #283: Pull request #62 synchronize by cothan
July 17, 2024 17:20 4m 36s cothan:add_keccakx_interface
cothan:add_keccakx_interface
July 17, 2024 17:20 4m 36s
Add Keccak X4 interface CI #282: Pull request #62 synchronize by cothan
July 15, 2024 14:11 13m 27s cothan:add_keccakx_interface
cothan:add_keccakx_interface
July 15, 2024 14:11 13m 27s
Add Keccak X4 interface CI #281: Pull request #62 synchronize by cothan
July 15, 2024 14:10 12m 33s cothan:add_keccakx_interface
cothan:add_keccakx_interface
July 15, 2024 14:10 12m 33s
Add Keccak X4 interface CI #280: Pull request #62 synchronize by cothan
July 14, 2024 16:11 10m 53s cothan:add_keccakx_interface
cothan:add_keccakx_interface
July 14, 2024 16:11 10m 53s
Add NEON assembly for rejection sampling CI #279: Pull request #47 synchronize by cothan
July 14, 2024 16:11 10m 57s cothan:rej_uniform
cothan:rej_uniform
July 14, 2024 16:11 10m 57s