x86_64 + HOL-Light: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly and HOL-Light proofs #4589
jakemasall.yml
on: pull_request
Matrix: Base / Examples
Matrix: Base / Linting
Matrix: Base / quickcheck-acvp
Matrix: Base / quickcheck-c90
Matrix: Base / Quickcheck lib
Matrix: Base / quickcheck-windows-mingw-w64
Matrix: Base / quickcheck-windows
Matrix: Base / quickcheck
Matrix: Base / quickcheck_bench
Matrix: Base / scan-build
Matrix: Base / simpasm
Base
/
x86_64 Intel syntax
2m 50s
Base
/
symlink-check
7s
Nix
/
check_modified_files
8s
Lint Markdown
/
lint-markdown-link
15s
Matrix: AWS-LC / aws_lc_integration_fips
Matrix: AWS-LC / posix
Matrix: AWS-LC / prefix
Matrix: Baremetal / baremetal_aarch64_virt
Matrix: Baremetal / baremetal_tests
Matrix: libOQS / oqs_basic_build
Isabelle
/
compress
58s
Isabelle
/
neon_ntt
9m 24s
Isabelle
/
Isabelle proofs (nix shell)
9m 5s
RISC-V
/
Quickcheck (riscv)
8m 33s
Matrix: Zephyr / zephyr_tests
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
Matrix: CBMC / cbmc
Matrix: Extended / backend_tests
Matrix: Extended / build_kat
Matrix: Extended / Check API consistency
Matrix: Extended / check-cf-protections
Matrix: Extended / Check autogenerated files
Matrix: Extended / Check object code in HOL-Light proofs
Matrix: Extended / compatibility_tests
Matrix: Extended / compiler_tests
Matrix: Extended / config_variations
Matrix: Extended / ec2_compatibilitytests
Matrix: Extended / ec2_functests
Matrix: Extended / sign_hook_distribution
Matrix: Extended / stack_analysis
Matrix: Extended / unit_valgrind
Matrix: Constant-time / check-ct-varlat
CI Summary
4s
Annotations
14 errors, 19 warnings, and 51 notices
|
Nix / nix setup test (ubuntu-24.04, nix via apt)
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-44, REDUCE_RAM) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-44, REDUCE_RAM) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-87, REDUCE_RAM) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-87, REDUCE_RAM) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-44) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-44) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-65) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-65) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-65, REDUCE_RAM) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-65, REDUCE_RAM) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-87) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
CBMC / CBMC (ML-DSA-87) / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
SLOTHY / SLOTHY / Run tests
The process '/usr/bin/bash' failed with exit code 1
|
|
Base / Quickcheck windows-2025
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ilammy/msvc-dev-cmd@0b201ec74fa43914dc39ae48a89fd1d8cb592756. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Base / Quickcheck windows-2022
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ilammy/msvc-dev-cmd@0b201ec74fa43914dc39ae48a89fd1d8cb592756. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Base / Quickcheck (macos (aarch64))
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Base / Quickcheck (macos (x86_64))
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Base / Quickcheck (macos (x86_64))
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
|
|
Base / Quickcheck (macos (x86_64))
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
|
|
AWS-LC / Prefix test (Prefix+Release, macos-latest)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
AWS-LC / Prefix test (Prefix+Release, macos-latest)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
CBMC / CBMC (ML-DSA-65) / Start instance (c7g.4xlarge)
Failed to start EC2 instance with configuration 1 in region us-east-1: Request limit exceeded. Account 904233116199 has been throttled on ec2:RunInstances because it exceeded its request rate limit.
|
|
AWS-LC / Prefix test (Prefix+Debug, macos-latest)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
AWS-LC / Prefix test (Prefix+Debug, macos-latest)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
AWS-LC / Prefix test (Prefix+Debug, macos-15-intel)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
AWS-LC / Prefix test (Prefix+Debug, macos-15-intel)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
AWS-LC / Prefix test (Prefix+Debug, macos-15-intel)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
|
|
AWS-LC / Prefix test (Prefix+Debug, macos-15-intel)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
|
|
AWS-LC / Prefix test (Prefix+Release, macos-15-intel)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
AWS-LC / Prefix test (Prefix+Release, macos-15-intel)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
AWS-LC / Prefix test (Prefix+Release, macos-15-intel)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
|
|
AWS-LC / Prefix test (Prefix+Release, macos-15-intel)
Skipping aws/tap because it is not trusted. Run `brew trust aws/tap` to trust it.
|
|
Base / Quickcheck lib (macos-latest)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Base / Examples (macos-latest)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Base / Quickcheck bench (macos (aarch64))
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Nix / nix setup test (macos-latest, nix via installer)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Base / Quickcheck (macos (aarch64))
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
AWS-LC / Prefix test (Prefix+Release, macos-latest)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.10, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-16, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-16, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.10, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-6, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-6, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-4.8, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.10, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-6, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-4.8, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-4.8, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-16, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
AWS-LC / Prefix test (Prefix+Debug, macos-latest)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Check autogenerated files (macos-latest, cross-autogen, true, --force-cross)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.15, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.14, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / AArch64 FIPS202 backends (x1_scalar)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / AArch64 FIPS202 backends (x1_v84a)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.14, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.15, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.16, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / AArch64 FIPS202 backends (x4_v8a_v84a_scalar)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / AArch64 FIPS202 backends (x2_v84a)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.16, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / AArch64 FIPS202 backends (x4_v8a_scalar)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Check object code in HOL-Light proofs (macos-latest, true, hol_light-cross-x86_64, --force-cross ...
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.15, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Functional tests (macOS (aarch64))
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-20, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.16, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (zig-0.14, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-15, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-20, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-21, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-14, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-21, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-22, macos, -Os)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-14, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-22, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-15, macos, -O3)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-20, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-21, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-14, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (gcc-15, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
|
Extended / Compiler tests (clang-22, macos, -O0)
The macos-latest label will migrate to macOS 26 beginning June 15, 2026. For more information see https://github.com/actions/runner-images/issues/14167
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
neon_ntt_autoformalized
|
620 KB |
sha256:1e375bb00c7feede8e1c4449c98c72b5d6a4b6e3e32d0dfcb51409c0e5e173db
|
|