CI

Mark API as "unavailable" if headers are missing #42

Sign in to view logs

Re-run triggered December 13, 2023 21:34

202312-only-prealloc

Status Success

Total duration 4m 43s

Artifacts –

ci.yml

on: push

Build Docker image

x64 (MSVC): C++ (public headers)

SageMath prover

Matrix: x86_64: macOS Monterey

Matrix: win64-native

s390x (big-endian): Linux (Debian stable, QEMU)

ppc64le: Linux (Debian stable, QEMU)

C++ -fpermissive (entire project)

C++ (public headers)

Matrix: ARM32: Linux (Debian stable, QEMU)

Matrix: ARM64: Linux (Debian stable, QEMU)

Matrix: i686: Linux (Debian stable)

Matrix: x86_64: Linux (Debian stable)

Matrix: mingw_debian

Matrix: MSan

Matrix: UBSan, ASan, LSan

Matrix: Valgrind (memcheck)