CI

Add `gr_derivative`, with implementations for polynomial rings #3635

Sign in to view logs

Triggered via pull request October 29, 2025 13:33

rburing

opened #2446

rburing:gr_derivative

Status Success

Total duration 33m 35s

Artifacts –

CI.yml

on: pull_request

Ubuntu GCC, Code Coverage (x10)

GCC build regression check (no tests)

Ubuntu GCC with NTL and checking msolve (assert, x2)

Ubuntu ARM (x5)

macOS-M1, Clang (x3)

Ubuntu Clang, BLAS and examples (x5)

MinGW GCC (x0.5)

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