Skip to content

Actions: pq-code-package/mlkem-native

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
719 workflow run results
719 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Push on gh-pages CodeQL #83: by github-actions bot
June 28, 2024 14:52 43s gh-pages
gh-pages
June 28, 2024 14:52 43s
Add coeff_signed_to_unsigned() functions and its proof CI #243: Pull request #67 synchronize by mkannwischer
June 28, 2024 14:49 11m 39s rod-chapman:prove_coeff_signed_to_unsigned
rod-chapman:prove_coeff_signed_to_unsigned
June 28, 2024 14:49 11m 39s
Add z3_4_12 to standard NIX config for all platforms. (#85) Bench #65: Commit 124e510 pushed by mkannwischer
June 28, 2024 14:48 3m 59s main
main
June 28, 2024 14:48 3m 59s
Add z3_4_12 to standard NIX config for all platforms. (#85) CI #242: Commit 124e510 pushed by mkannwischer
June 28, 2024 14:48 4m 40s main
main
June 28, 2024 14:48 4m 40s
Add z3_4_12 to standard NIX config for all platforms. (#85) OSSF Scorecard analysis #57: Commit 124e510 pushed by mkannwischer
June 28, 2024 14:48 1m 3s main
main
June 28, 2024 14:48 1m 3s
Push on main CodeQL #82: by mkannwischer
June 28, 2024 14:48 1m 49s main
main
June 28, 2024 14:48 1m 49s
Add z3_4_12 to standard NIX config for all platforms. CI #241: Pull request #85 synchronize by mkannwischer
June 28, 2024 14:42 4m 30s rod-chapman:add_z3_to_nix
rod-chapman:add_z3_to_nix
June 28, 2024 14:42 4m 30s
Add z3_4_12 to standard NIX config for all platforms. CI #240: Pull request #85 opened by rod-chapman
June 28, 2024 12:18 4m 38s rod-chapman:add_z3_to_nix
rod-chapman:add_z3_to_nix
June 28, 2024 12:18 4m 38s
Add coeff_signed_to_unsigned() functions and its proof CI #239: Pull request #67 synchronize by rod-chapman
June 28, 2024 12:13 7m 12s rod-chapman:prove_coeff_signed_to_unsigned
rod-chapman:prove_coeff_signed_to_unsigned
June 28, 2024 12:13 7m 12s
Benchmarking on A55 CI #238: Pull request #84 synchronize by potsrevennil
June 28, 2024 10:54 7m 22s potsrevennil:bench-on-a55
potsrevennil:bench-on-a55
June 28, 2024 10:54 7m 22s
Benchmarking on A55 Bench #64: Pull request #84 labeled by mkannwischer
June 28, 2024 10:08 11m 43s potsrevennil:bench-on-a55
potsrevennil:bench-on-a55
June 28, 2024 10:08 11m 43s
Benchmarking on A55 CI #237: Pull request #84 opened by potsrevennil
June 28, 2024 10:08 4m 47s potsrevennil:bench-on-a55
potsrevennil:bench-on-a55
June 28, 2024 10:08 4m 47s
Push on gh-pages CodeQL #81: by github-actions bot
June 28, 2024 08:14 52s gh-pages
gh-pages
June 28, 2024 08:14 52s
pages build and deployment pages-build-deployment #4: by github-pages bot
June 28, 2024 08:14 47s gh-pages
gh-pages
June 28, 2024 08:14 47s
Add support for static linking of glibc on aarch64 and x86_64 linux … CI #236: Commit a3d00c7 pushed by mkannwischer
June 28, 2024 08:10 10m 42s main
main
June 28, 2024 08:10 10m 42s
Add support for static linking of glibc on aarch64 and x86_64 linux … Bench #63: Commit a3d00c7 pushed by mkannwischer
June 28, 2024 08:10 4m 0s main
main
June 28, 2024 08:10 4m 0s
Add support for static linking of glibc on aarch64 and x86_64 linux … OSSF Scorecard analysis #56: Commit a3d00c7 pushed by mkannwischer
June 28, 2024 08:10 1m 3s main
main
June 28, 2024 08:10 1m 3s
Push on main CodeQL #80: by mkannwischer
June 28, 2024 08:10 2m 1s main
main
June 28, 2024 08:10 2m 1s
Add support for static linking of glibc on aarch64 and x86_64 linux CI #235: Pull request #82 synchronize by potsrevennil
June 28, 2024 08:04 4m 33s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
June 28, 2024 08:04 4m 33s
Add support for static linking of glibc on aarch64 and x86_64 linux CI #234: Pull request #82 synchronize by potsrevennil
June 28, 2024 07:01 5m 25s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
June 28, 2024 07:01 5m 25s
Test Mac benchmarks in CI Bench #62: Pull request #83 labeled by mkannwischer
June 28, 2024 07:01 3m 57s mkannwischer:maccibenchmark
mkannwischer:maccibenchmark
June 28, 2024 07:01 3m 57s
Test Mac benchmarks in CI CI #233: Pull request #83 opened by mkannwischer
June 28, 2024 07:01 4m 22s mkannwischer:maccibenchmark
mkannwischer:maccibenchmark
June 28, 2024 07:01 4m 22s
Add support for static linking of glibc on aarch64 and x86_64 linux Bench #61: Pull request #82 labeled by mkannwischer
June 28, 2024 06:26 3m 52s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
June 28, 2024 06:26 3m 52s
Add support for static linking of glibc on aarch64 and x86_64 linux CI #232: Pull request #82 synchronize by potsrevennil
June 28, 2024 06:24 4m 23s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
June 28, 2024 06:24 4m 23s
Add support for static linking of glibc on aarch64 and x86_64 linux CI #231: Pull request #82 synchronize by potsrevennil
June 28, 2024 06:03 4m 58s potsrevennil:nix-aarch64-gcc
potsrevennil:nix-aarch64-gcc
June 28, 2024 06:03 4m 58s