Eliminate SUPERCOP API from tests #2560

Triggered via pull request January 21, 2026 06:23

willieyz

synchronize #891

eliminate-supercopAPI

Status Cancelled

Total duration 4m 25s

Artifacts –

all.yml

on: pull_request

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 22s

Base / symlink-check

Nix / check_modified_files

32s

Lint Markdown / lint-markdown-link

12s

Matrix: Baremetal / baremetal_tests

Waiting for pending jobs

Matrix: libOQS / oqs_basic_build

Waiting for pending jobs

Matrix: Nix / build_nix_cache

Matrix: Nix / develop_environment

CBMC / ... / start-ec2-runner

SLOTHY / ... / start-ec2-runner

Matrix: Extended / backend_tests

Waiting for pending jobs

Matrix: Extended / build_kat

Waiting for pending jobs

Matrix: Extended / Check API consistency

Waiting for pending jobs

Matrix: Extended / check-cf-protections

Waiting for pending jobs

Matrix: Extended / Check autogenerated files

Waiting for pending jobs

Matrix: Extended / Check object code in HOL-Light proofs

Waiting for pending jobs

Matrix: Extended / compatibility_tests

Waiting for pending jobs

Matrix: Extended / compiler_tests

Waiting for pending jobs

Matrix: Extended / Non-standard configurations

Waiting for pending jobs

Matrix: Extended / ec2_compatibilitytests

Waiting for pending jobs

Matrix: Extended / ec2_functests

Waiting for pending jobs

Matrix: Extended / stack_analysis

Waiting for pending jobs

Matrix: Constant-time / check-ct-varlat

Waiting for pending jobs

CBMC / ... / Run tests

SLOTHY / ... / Run tests

CBMC / ... / stop-ec2-runner

SLOTHY / ... / stop-ec2-runner