CI

Merge pull request #1729 from flintlib/sdpoly #1185

Sign in to view logs

Triggered via push January 20, 2024 09:22

main

Status Success

Total duration 30m 30s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

CI.yml

on: push

Ubuntu GCC, Code Coverage (x10)

Ubuntu GCC with NTL (assert, x2)

macOS GCC with BLAS (x3)

FreeBSD Clang (x0.5)

Cygwin GCC (x0.5)

Ubuntu Clang with examples (x5)

Ubuntu GCC, CMake (1x)

MinGW GCC (x0.5)

Alpine Linux, musl, 32-bit (assert, x1.5)

Nemo.jl (temporary branch)