Skip to content

Add documentation for randombytes and mlk_randombytes #3182

Add documentation for randombytes and mlk_randombytes

Add documentation for randombytes and mlk_randombytes #3182

Triggered via pull request January 23, 2026 01:35
Status Cancelled
Total duration 41m 39s
Artifacts

all.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
3m 2s
Base / x86_64 Intel syntax
Base  /  symlink-check
6s
Base / symlink-check
Nix  /  check_modified_files
29s
Nix / check_modified_files
Lint Markdown  /  lint-markdown-link
17s
Lint Markdown / lint-markdown-link
Matrix: Nix / build_nix_cache
Matrix: Nix / develop_environment
OpenTitan  /  OpenTitan ML-KEM Test (verilator)
30m 0s
OpenTitan / OpenTitan ML-KEM Test (verilator)
OpenTitan  /  Stop EC2 instance
8s
OpenTitan / Stop EC2 instance
CBMC  /  ...  /  Run tests
CBMC / CBMC (ML-KEM-512) / Run tests
CBMC  /  ...  /  Run tests
CBMC / CBMC (ML-KEM-768) / Run tests
CBMC  /  ...  /  Run tests
CBMC / CBMC (ML-KEM-1024) / Run tests
SLOTHY  /  ...  /  Run tests
SLOTHY / SLOTHY / Run tests
CBMC  /  ...  /  stop-ec2-runner
CBMC / CBMC (ML-KEM-512) / stop-ec2-runner
CBMC  /  ...  /  stop-ec2-runner
CBMC / CBMC (ML-KEM-768) / stop-ec2-runner
CBMC  /  ...  /  stop-ec2-runner
CBMC / CBMC (ML-KEM-1024) / stop-ec2-runner
SLOTHY  /  ...  /  stop-ec2-runner
SLOTHY / SLOTHY / stop-ec2-runner
Fit to window
Zoom out
Zoom in

Annotations

102 errors
Nix / check_modified_files
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge exists
Nix / check_modified_files
The operation was canceled.
AWS-LC (v1.64.0) / Prefix test (Prefix+Release, macos-15-intel)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (HEAD) / Prefix test (Prefix+Release, macos-15-intel)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Prefix test (Prefix+Debug, macos-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (v1.64.0) / Prefix test (Prefix+Release, macos-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Prefix test (Prefix+Debug, macos-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (HEAD) / Prefix test (Prefix+Release, macos-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Prefix test (Prefix+Debug, macos-15-intel)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (v1.64.0) / Prefix test (Prefix+Debug, macos-15-intel)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Prefix test (Prefix+Debug, macos-15-intel)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (DIT, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (DIT, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / AWS-LC FIPS test (ubuntu-latest, FIPS=1)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / AWS-LC FIPS test (ubuntu-latest, FIPS=1)
The operation was canceled.
AWS-LC (v1.64.0) / AWS-LC FIPS test (ubuntu-latest, FIPS=1)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / AWS-LC FIPS test (ubuntu-latest, FIPS=1)
The operation was canceled.
AWS-LC (v1.64.0) / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=1)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=1)
The operation was canceled.
AWS-LC (HEAD) / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=1)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=1)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Release mode, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Release mode, ubuntu-latest)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Small compilation, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Small compilation, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Prefix test (Prefix+Debug, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Prefix test (Prefix+Debug, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (v1.64.0) / AWS-LC FIPS test (ubuntu-latest, FIPS=0)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Prefix test (Prefix+Release, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / AWS-LC FIPS test (ubuntu-latest, FIPS=0)
The operation was canceled.
AWS-LC (v1.64.0) / Prefix test (Prefix+Release, ubuntu-latest)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Debug mode, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Debug mode, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Debug mode, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Debug mode, ubuntu-latest)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Release mode, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Release mode, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Shared, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Shared, ubuntu-latest)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Pre-Gen ASM, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Pre-Gen ASM, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Small compilation, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Small compilation, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Debug mode, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Debug mode, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Release mode, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Release mode, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (v1.64.0) / Prefix test (Prefix+Debug, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Prefix test (Prefix+Debug, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (No-ASM, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (No-ASM, ubuntu-latest)
The operation was canceled.
AWS-LC (HEAD) / AWS-LC FIPS test (ubuntu-latest, FIPS=0)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / AWS-LC FIPS test (ubuntu-latest, FIPS=0)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (DIT, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (DIT, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Prefix test (Prefix+Debug, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Prefix test (Prefix+Debug, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Pre-Gen ASM, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Pre-Gen ASM, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Debug mode, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Debug mode, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Pre-Gen ASM, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Pre-Gen ASM, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Prefix test (Prefix+Release, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Prefix test (Prefix+Release, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (DIT, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (DIT, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=0)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=0)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Small compilation, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Small compilation, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Release mode, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Release mode, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=0)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / AWS-LC FIPS test (ubuntu-24.04-arm, FIPS=0)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Shared, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Shared, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (No-ASM, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (No-ASM, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (DIT, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (DIT, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Shared, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Shared, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (No-ASM, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (No-ASM, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (Shared, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (Shared, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Pre-Gen ASM, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Pre-Gen ASM, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Posix test (Small compilation, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Posix test (Small compilation, ubuntu-latest)
The operation was canceled.
AWS-LC (v1.64.0) / Posix test (No-ASM, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
AWS-LC (v1.64.0) / Posix test (No-ASM, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Prefix test (Prefix+Release, ubuntu-24.04-arm)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Prefix test (Prefix+Release, ubuntu-24.04-arm)
The operation was canceled.
AWS-LC (HEAD) / Prefix test (Prefix+Debug, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Prefix test (Prefix+Debug, ubuntu-latest)
The operation was canceled.
AWS-LC (HEAD) / Prefix test (Prefix+Release, ubuntu-latest)
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
AWS-LC (HEAD) / Prefix test (Prefix+Release, ubuntu-latest)
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-main exists
CI
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge-7187ab572ddcdae4fa408e932d3e878c9941137b exists
CI
Canceling since a higher priority waiting request for CI-refs/pull/1522/merge exists